Kamil Shakirov ska80

• Earth

Organizations

Popular repositories Loading

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

   C 156 23

2. ThinLisp is an open source Lisp to C translator.

   Common Lisp 33 3

3. Fork of CL-MUPROC

   Common Lisp 7 2

4. A dependently typed server framework for Idris

   Idris 7 1

5. Common Lisp the Language, 2nd Edition

   TeX 5 1

6. "Purely Functional Data Structures", by Chris Okasaki

   Idris 3