Popular repositories Loading

1. hotc hotc Public

   Forked from jozefg/hotc

   Notes on higher-order typed compilation. Probably wrong

   TeX 22 6

2. yosemite yosemite Public

   A type-directed compiler for an ML subset

   OCaml 2

3. sublime-toggle-rulers sublime-toggle-rulers Public

   A tiny script which implements a command to toggle rulers at the 80 character mark.

   Python 1

4. ivory-chess ivory-chess Public

   this thing plays chess

   Scala

5. dailyprogrammer-loopy-robots dailyprogrammer-loopy-robots Public

   OCaml

6. zachhalle.github.io zachhalle.github.io Public

   CSS