serokell / blog-posts
The place for submitting new articles to the Serokell blog.
☆16Updated 8 months ago
Related projects ⓘ
Alternatives and complementary repositories for blog-posts
- Implementing a small functional language with a combinator based graph-reduction machine☆28Updated 11 months ago
- A Haskell monad transformer library for data validation☆36Updated last year
- Modern Compiler Implementation in ML, in Haskell☆19Updated 3 years ago
- Automatic piecewise-mutable references for your types☆43Updated 4 years ago
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- Haskell monad transformer for weighted, non-deterministic computation☆29Updated 11 months ago
- Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)☆17Updated 10 months ago