Stars
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
A Code Progression Analysis Tool for the Grace Web IDE
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
An asynchronous JavaScript interpreter for the Grace programming language
Bindings for the Processing graphics library in Grace
A library for Haskell supporting asynchronous IO with a fork-join model.
A Textmate bundle for the Whiley programming language.
zmthy / coffeekup
Forked from mauricemach/coffeekupMarkup as CoffeeScript.
A Textmate Bundle for the Grace programming language
zmthy / WhileyCompiler
Forked from Whiley/WhileyCompilerWhiley is a programming language particularly suited to safety-critical systems. It is a hybrid object-oriented and functional programming language which employs extended static checking to elimina…
A derivative of the Whiley language which compiles to JavaScript
A tool for converting archived physical media into archivable software.
A collaborative whiteboard tool for education.
Pug – robust, elegant, feature rich template engine for Node.js
Empowering everyone to build reliable and efficient software.
zmthy / coffee-script
Forked from jashkenas/coffeescriptUnfancy JavaScript
Fast, unopinionated, minimalist web framework for node.
Moved to https://github.com/nodejs/node