Popular repositories Loading

1. tinygl tinygl Public

   TinyGL : a Small, Free and Fast Subset of OpenGL*

   C 156 23

2. thinlisp thinlisp Public

   ThinLisp is an open source Lisp to C translator.

   Common Lisp 33 3

3. cl-muproc cl-muproc Public

   Fork of CL-MUPROC

   Common Lisp 7 2

4. idris2-server idris2-server Public

   A dependently typed server framework for Idris

   Idris 7 1

5. cltl2-docs cltl2-docs Public

   Common Lisp the Language, 2nd Edition

   TeX 5 1

6. idris-okasaki-pfds idris-okasaki-pfds Public

   "Purely Functional Data Structures", by Chris Okasaki

   Idris 3