Popular repositories Loading

1. melitte melitte Public

   Toy implementation of Martin-Löf Type Theory

   OCaml 28

2. pulsar pulsar Public

   Experimental functional language

   OCaml 18

3. xrandr-nightmode xrandr-nightmode Public

   Make it easier to read in dark rooms by turning your screen colors to black and shades of red. Linux only.

   C 6 1

4. matcheck matcheck Public

   A small and generic verifier of ML's pattern-matching construct.

   OCaml 5

5. sync-lang sync-lang Public

   sync-lang.org website

   2

6. skybox.py skybox.py Public

   Simple seamless skybox creator.

   Python 1