Pinned Loading

1. hrin hrin Public

   An attempt to reinvent the garbage collector

   C 1

2. starfish_prime starfish_prime Public

   Starfish Prime: Lisp Flavoured LCF

   Standard ML 4

3. general-recursive-functions general-recursive-functions Public

   Toy point free language implementing GRF

   OCaml 3

4. bravo bravo Public

   Castle Bravo: Experimental HoTT Implementation

   OCaml 8 1

5. ground_zero ground_zero Public

   Ground Zero: Lean 4 HoTT Library

   Lean 66 3

6. aos-milsim aos-milsim Public

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

   Python 7