PinnedLoading

1. mlir-egglogmlir-egglogPublic

   A teaching compiler for NumPy array expressions that uses e-graphs and MLIR

   Python 6

2. tiny-graphragtiny-graphragPublic

   A tiny 1000 line implementation of GraphRAG in Python

   Python 56 10

3. write-you-a-haskellwrite-you-a-haskellPublic

   Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

   Haskell 3.4k 256

4. wiwinwlhwiwinwlhPublic

   What I Wish I Knew When Learning Haskell

   Haskell 2.6k 241

5. bulletproofsbulletproofsPublic

   Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

   Haskell 541 48

6. llvm-hs/llvm-hsllvm-hs/llvm-hsPublic

   Haskell bindings for LLVM

   LLVM 518 124