Collection of my experiments with Type Theory, Compiler Engineering and Functional Programming.
- eocia-haskell - Essentials of Compilation: An Incremental Approach in Haskell
- eocia-lean - Essentials of Compilation: An Incremental Approach in Lean 4
- ttfpi-agda - Formalization of the book "Type Theory and Formal Proof: An Introduction" in Agda
- ttfpi - "Type Theory and Formal Proof: An Introduction" book formalization in Lean
- lcwt - "Lambda Calculus with Types" formalization in Agda
- cs-839-systems-verification - Notes on the course CS839: Systems Verification
- certainty-by-construction - Notes on the book "Certainty by Construction"
- theorem-proving-in-lean4 - Notes on the book "Theorem Proving in Lean 4"
- natural-number-game - My Natural Number Game 4 solutions
- effect-ts-di-config - Effect-TS demo of Config & DI
- clinic-haskell - Servant + Persistent demo HTTP server
- docker-haskell-cabal - Multi-stage Docker setup demo with Haskell
- fpts-tagless-final-todo - Tagless Final pattern demonstration with fp-ts
- bff-agda - Brainfuck implementation in Agda
