Pinned Loading

1. llvm/llvm-projectllvm/llvm-projectPublic

   The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

   LLVM 39.8k 18.3k

2. bonakbonakPublic

   🧊 An indexed construction of semi-simplicial and semi-cubical sets

   Rocq Prover 31 7

3. clayovenclayovenPublic

   💎 beautiful website generator aimed at math-heavy sites

   Ruby 333 7

4. rhine-mlrhine-mlPublic archive

   🏞 an OCaml compiler for an untyped lisp

   OCaml 636 24

5. phoenixfsphoenixfsPublic archive

   🔥 a versioning filesystem inspired by git

   C 208 21

6. tree-sitter-mlirtree-sitter-mlirPublic

   MLIR grammar for tree-sitter

   JavaScript 19 7