Pinned Loading

1. miniml miniml Public

   Implementation of (some of) OCaml in OCaml, capable of self-hosting. Also a test bed for further experimentation with type checkers.

   OCaml 3 1

2. pithlessly.github.io pithlessly.github.io Public

   JavaScript 3

3. chemic chemic Public

   Experimental Lisp compiler.

   OCaml 1

4. osu-cs583 osu-cs583 Public

   Haskell 1

5. learning_cpp learning_cpp Public

   Various small projects to learn programming languages (originally C++).

   Idris

6. proof-tree-playground proof-tree-playground Public

   Forked from Iainmon/proof-tree-playground

   Haskell