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:
- Reimplementation of a subset of Cabal☆32Updated this week
- Awesome Agda Programming☆18Updated last month
- LLVM code generation in Haskell☆54Updated 11 months ago
- Automatic piecewise-mutable references for your types☆42Updated 5 years ago
- ☆41Updated last year
- A Haskell monad transformer library for data validation☆37Updated 2 years ago
- A beginner's guide to Haskell optimization☆65Updated 7 years ago
- Session types framework with support of protocol pipelining.☆15Updated last week
- Source material for Certainty by Construction☆45Updated last year
- Source code for haskle.net☆30Updated 2 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆37Updated last month
- A Haskell libary for fast arrowized FRP based on signal functions☆18Updated this week
- First Class Record Fields in Haskell☆17Updated 4 months ago
- ☆14Updated 6 years ago
- Single Page Web Applications in Idris☆25Updated last year
- ☆41Updated 5 years ago
- ☆26Updated 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
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Updated 2 years ago
- The Montreal Haskell Compiler☆27Updated last week
- The https://ghc.dev Website Generator☆21Updated last year
- Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).☆73Updated 9 months ago
- A structured concurrency library☆85Updated 7 months ago
- Javascript DOM bindings for Idris2☆52Updated last week
- A bit of DSLs, a bit of I/O☆15Updated 2 years ago
- Haskell monad transformer for weighted, non-deterministic computation☆30Updated 9 months ago
- Fast higher-order effect handlers with evidence passing☆21Updated last year
- ☆17Updated 2 years ago
- Automatically generated Nix expressions for Hackage☆21Updated last week
- Linear lens☆20Updated last year