Pinned Loading

1. anders anders Public

   Anders: Cubical Type Checker

   OCaml 18 1

2. bravo bravo Public

   Castle Bravo: Experimental HoTT Implementation

   OCaml 6 1

3. ground_zero ground_zero Public

   Ground Zero: Lean 4 HoTT Library

   Lean 45 1

4. solar solar Public

   Very simple solar system simulator.

   F# 6

5. hask hask Public

   Continuation of work on https://github.com/billpmurphy/hask, Haskell language features and standard libraries in pure Python.

   Python 2

6. general-recursive-functions general-recursive-functions Public

   Toy point free language implementing GRF

   OCaml 2