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:
- Automatic piecewise-mutable references for your types☆42Updated 5 years ago
- LLVM code generation in Haskell☆54Updated last year
- Reimplementation of a subset of Cabal☆33Updated last week
- Implementing a small functional language with a combinator based graph-reduction machine☆37Updated 2 months ago
- Source code for haskle.net☆30Updated 2 years ago
- Classical Logic in Haskell☆24Updated 7 months ago
- Fast higher-order effect handlers with evidence passing☆21Updated last year
- A haskell tutorial using CodeWorld☆19Updated 10 months ago
- A Haskell monad transformer library for data validation☆37Updated 2 years ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Updated 2 years ago
- The Iowa Agda Library☆49Updated this week
- Awesome Agda Programming☆18Updated last month
- A WIP compiler for a functional language. Very incomplete!☆16Updated 4 years ago
- Haskell monad transformer for weighted, non-deterministic computation☆31Updated 9 months ago
- The https://ghc.dev Website Generator☆21Updated last year
- Automatically generated Nix expressions for Hackage☆21Updated this week
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated 9 months ago
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆39Updated last year
- Source material for Certainty by Construction☆45Updated last year
- classical sequent calculus, embedded in Haskell☆21Updated 2 months ago
- ☆14Updated 6 years ago
- A Haskell libary for fast arrowized FRP based on signal functions☆18Updated 2 weeks ago
- Core modules for a blazing fast markup combinator library☆22Updated 5 months ago
- Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).☆73Updated 10 months ago
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Updated 2 years ago
- ☆41Updated 2 years ago
- Prototype for https://github.com/Innf107/vega☆19Updated last year
- ☆36Updated 4 months ago
- A bidirectional type checker☆66Updated 8 years ago
- 🎭 Actor library for Haskell☆30Updated 2 years ago