Pinned Loading

1. anoma/geb anoma/geb Public

   A Categorical View of Computation

   Idris 28 10

2. Misc-Lisp-Scripts Misc-Lisp-Scripts Public

   Common Lisp 13 1

3. anoma/alucard anoma/alucard Public

   A common lisp DSL for writing zero knowledge circuits

   Common Lisp 18 1

4. Misc-Stack-Scripts Misc-Stack-Scripts Public

   Various scripts in Forth and Factor

   Factor 3

5. vomitchan vomitchan Public

   *cheek pinch*

   Haskell 7 4

6. Misc-GT-Scripts Misc-GT-Scripts Public

   Smalltalk