serokell / blog-postsLinks
The place for submitting new articles to the Serokell blog.
☆16Updated last year
Alternatives and similar repositories for blog-posts
Users that are interested in blog-posts are comparing it to the libraries listed below
Sorting:
- Source material for Certainty by Construction☆43Updated last year
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated 4 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆31Updated last year
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Updated 2 years ago
- A TOML parser for Idris 2☆17Updated last year
- Fast higher-order effect handlers with evidence passing☆21Updated last year
- ☆20Updated last year
- ☆41Updated last year
- Awesome Agda Programming☆16Updated 4 years ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- A haskell tutorial using CodeWorld☆19Updated 5 months ago
- Prototype for https://github.com/Innf107/vega☆19Updated 11 months ago
- A Haskell monad transformer library for data validation☆36Updated last year
- The LC3 virtual machine☆23Updated 6 months ago
- The https://ghc.dev Website Generator☆21Updated 8 months ago
- Automatically generated Nix expressions for Hackage☆20Updated this week
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- An efficient graph library for Haskell☆39Updated last month
- classical sequent calculus, embedded in Haskell☆20Updated 3 years ago
- Implementation of Quantitative Type Theory (in TypeScript)☆12Updated 4 years ago
- Asymptotically optimal Brodal/Okasaki heaps☆31Updated 6 months ago
- First Class Record Fields in Haskell☆17Updated 3 weeks ago
- Generic pretty-printer for program output☆11Updated last year
- ☆25Updated 2 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆39Updated 4 years ago
- Types for ldtk☆15Updated last year
- Classical Logic in Haskell☆24Updated 3 months ago
- Ideas for the next generation of Haskell's Arrow notation☆12Updated 5 years ago
- A compiler that translates a form of lambda calculus to C☆12Updated last year
- A WIP compiler for a functional language. Very incomplete!☆16Updated 3 years ago