Pinned Loading

1. lost-pop-lean lost-pop-lean Public

   POP Memory Model in Lean

   Lean 8

2. marcusrossel/lean-egg marcusrossel/lean-egg Public

   A (WIP) equality saturation tactic for Lean based on egg.

   Lean 70 6

3. opencompl/lean-mlir opencompl/lean-mlir Public

   A minimal development of SSA theory

   Lean 186 20

4. opencompl/C-parsing-for-Lean4 opencompl/C-parsing-for-Lean4 Public

   A parser for ANSI C, in Lean4.

   C 20 3

5. tud-ccc/mocasin tud-ccc/mocasin Public

   Python 8 2

6. teorth/equational_theories teorth/equational_theories Public

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

   Lean 430 88