Pinned Loading

1. prism prism Public

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

   Rust 89 2

2. typechecker-zoo typechecker-zoo Public

   A menagerie of cute implementations of modern typechecking algorithms

   Rust 433 15

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

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

   Lean 118 21

4. 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

5. bulletproofs bulletproofs Public

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

   Haskell 551 49

6. wiwinwlh wiwinwlh Public

   What I Wish I Knew When Learning Haskell

   Haskell 2.7k 242