Pinned Loading

1. hrin hrin Public

   An attempt to reinvent the garbage collector

   C 2

2. general-recursive-functions general-recursive-functions Public

   Toy point free language implementing GRF

   OCaml 4

3. starfish_prime starfish_prime Public

   Starfish Prime: Lisp Flavoured LCF

   Standard ML 5

4. bravo bravo Public

   Castle Bravo: Experimental HoTT Implementation

   OCaml 9 1

5. aos-milsim aos-milsim Public

   Kind of Military Simulator Game built upon https://github.com/rzrn/horseradish

   Python 10

6. tigerspades tigerspades Public

   BetterSpades for PowerPC Mac OS X

   C 10 1