serokell / blog-posts
The place for submitting new articles to the Serokell blog.
☆16Updated 7 months ago
Related projects ⓘ
Alternatives and complementary repositories for blog-posts
- Implementing a small functional language with a combinator based graph-reduction machine☆28Updated 10 months ago
- Session types framework with support of protocol pipelining.☆15Updated last month
- First Class Record Fields in Haskell☆17Updated 4 months ago
- Single Page Web Applications in Idris☆19Updated last month
- A dependently typed programming language with direct style effects and linearity☆19Updated 3 months ago
- high-powered optics in a small package☆50Updated last month
- A programming language for gastropods☆12Updated 4 months ago
- An efficient graph library for Haskell☆39Updated 3 months ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- A TOML parser for Idris 2☆15Updated 4 months ago
- A Haskell implementation of the Formality language☆18Updated 4 years ago
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- A haskell tutorial using CodeWorld☆17Updated 6 months ago
- Add early return to any do-expression☆46Updated 3 years ago