serokell / blog-posts
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
- Session types framework with support of protocol pipelining.☆16Updated last week
- ☆25Updated 2 years ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- A dependently typed programming language with direct style effects and linearity☆19Updated 7 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆29Updated last year
- A programming language for gastropods☆12Updated 8 months ago
- ☆41Updated last year
- Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)☆17Updated last year
- Idris 2 bindings to various C libraries☆15Updated 3 years ago
- Awesome Agda Programming☆16Updated 4 years ago
- A TOML parser for Idris 2☆15Updated 8 months ago
- First Class Record Fields in Haskell☆17Updated last week
- An implementation of "A Pretty Expressive Printer" in Racket☆27Updated last year
- classical sequent calculus, embedded in Haskell☆19Updated 3 years ago
- ☆14Updated 5 years ago
- A haskell tutorial using CodeWorld☆18Updated 2 months ago
- A Haskell monad transformer library for data validation☆36Updated last year
- A Haskell libary for fast arrowized FRP based on signal functions☆18Updated 7 months ago
- ☆40Updated 3 years ago
- Fast higher-order effect handlers with evidence passing☆19Updated last year
- Low-overhead effect management for concrete monads☆37Updated 2 years ago
- Add early return to any do-expression☆46Updated 3 years ago
- Single Page Web Applications in Idris☆24Updated 5 months ago
- The Iowa Agda Library☆47Updated 3 months ago
- ☆40Updated 5 years ago
- Fωμ type checker and compiler☆52Updated 2 years ago
- todo and unimplemented, robustly implemented☆33Updated 6 months ago
- Haskell port of the Nanopass Compiler Framework☆21Updated last year