Haskell 2 343

Idris-dev

forked from idris-lang/Idris-dev

A Dependently Typed Functional Programming Language

Updated Jun 27, 2013

Common Lisp 3 0

bitlisp

A statically-typed high-performance Lisp

Updated Jun 30, 2012

Common Lisp 0 2

clutter

forked from clutter-lang/clutter

nothing to see here

Updated Aug 16, 2011

0 People

This organization has no public members. You must be a member to see who’s a part of this organization.