Popular repositories Loading

1. lean4-rewriting lean4-rewriting Public

   Tests around generalized rewriting in Lean 4.

   Lean 5 1

2. memory-light-isa memory-light-isa Public

   A fictitious ISA designed to reduce memory pressure.

   C 1

3. openlibm openlibm Public

   Forked from JuliaMath/openlibm

   High quality system independent, portable, open source libm implementation

   C

4. lesscpy lesscpy Public

   Forked from lesscpy/lesscpy

   Python LESS compiler

   Python

5. sublime-coq-plugin sublime-coq-plugin Public

   Forked from Calvin-L/sublime-coq-plugin

   Syntax highlighting and Coq interactivity for Sublime Text 3

   Python

6. lean4-hbind lean4-hbind Public

   Tests around a universe-polymorphic implementation of do notation in Lean 4.

   Lean