Popular repositories Loading

1. gridrover-experiments gridrover-experiments Public

   Experiments leading up to a working version of GridRover

   Java 2 3

2. xomb xomb Public

   Forked from xomboverlord/xomb

   An exokernel operating system written in D

   D 2 1

3. xmms2-reilithion xmms2-reilithion Public

   The GME plugin development branch and anything else I code for xmms2

   C 1

4. zed-racket zed-racket Public

   Racket support for the Zed editor, with syntax highlighting and the Racket language server.

   Scheme 1

5. fulmar fulmar Public

   Forked from cwearl/fulmar

   Generate formatted C++ from Racket S-expressions

   Racket

6. pi-forall pi-forall Public

   Forked from sweirich/pi-forall

   A demo implementation of a simple dependently-typed language

   Haskell