Popular repositories

1. lean-mlir Public

   embedding MLIR in LEAN

   Lean 38 3

2. paper-template Public template

   A template for writing CS papers with latex -- includes CI, todonotes, ...

   TeX 23 12

3. lean-gap Public

   An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4

   GAP 13

4. dyn-dialect Public

   A repository to test dialects defined dynamically.

   C++ 10 2

5. mlir-fuzz Public

   A enumerator for MLIR, relying on the information given by IRDL.

   C++ 9 2

6. C-parsing-for-Lean4 Public

   A parser for ANSI C, in Lean4.

   C 8 1