Pinned Loading

1. prism prism Public

   A small functional language with algebraic effects, multishot continuations, and native codegen

   Rust 2

2. typechecker-zoo typechecker-zoo Public

   A menagerie of cute implementations of modern typechecking algorithms

   Rust 430 15

3. zero-to-qed zero-to-qed Public

   From Zero to QED: An informal introduction to formality with Lean 4

   Lean 115 20

4. tiny-metaf tiny-metaf Public

   Code-golfing a typed System-Fω circular self-interpreter

   Rust 3

5. clifford-kernels clifford-kernels Public

   (triton + cuda-oxide + mlx) GPU kernels for building transformers over Clifford algebras

   Python 1

6. write-you-a-haskell write-you-a-haskell Public

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

   Haskell 3.5k 256