Pinned Loading

1. lost-pop-leanlost-pop-leanPublic

   POP Memory Model in Lean

   Lean 13

2. marcusrossel/lean-eggmarcusrossel/lean-eggPublic

   A deprecated equality saturation tactic for Lean based on egg.

   Lean 87 8

3. opencompl/lean-mliropencompl/lean-mlirPublic

   A minimal development of SSA theory

   Lean 254 28

4. opencompl/C-parsing-for-Lean4opencompl/C-parsing-for-Lean4Public

   A parser for ANSI C, in Lean4.

   C 25 3

5. tud-ccc/mocasintud-ccc/mocasinPublic

   Python 8 4

6. teorth/equational_theoriesteorth/equational_theoriesPublic

   A project to map out the relations between different equational theories of Magmas.

   Lean 546 102