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:
- Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)☆17Updated last year
- A Haskell monad transformer library for data validation☆36Updated last year
- Implementing a small functional language with a combinator based graph-reduction machine☆36Updated this week
- Automatic piecewise-mutable references for your types☆42Updated 5 years ago
- An efficient graph library for Haskell☆38Updated 2 months ago
- ☆41Updated last year
- The https://ghc.dev Website Generator☆21Updated 9 months ago
- Haskell monad transformer for weighted, non-deterministic computation☆30Updated 6 months ago
- ☆40Updated last week
- A haskell tutorial using CodeWorld☆19Updated 7 months ago
- Source material for Certainty by Construction☆44Updated last year
- The Haskell Foundation Tech Proposal Process☆70Updated last year
- A structured concurrency library☆85Updated 5 months ago
- GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …☆13Updated 2 months ago
- Awesome Agda Programming☆18Updated 4 years ago
- Core modules for a blazing fast markup combinator library☆22Updated 2 months ago
- high-powered optics in a small package☆53Updated 10 months ago
- todo and unimplemented, robustly implemented☆36Updated 10 months ago
- A template for idris projects☆11Updated 4 years ago
- List of Haskell streamers on Twitch, YouTube, etc.☆29Updated 4 years ago
- Source code for haskle.net☆30Updated last year
- Fast Haskell RPC☆30Updated 4 months ago
- Fast higher-order effect handlers with evidence passing☆21Updated last year
- Javascript DOM bindings for Idris2☆53Updated last month
- Wrap up Haskell tools☆15Updated 4 years ago
- ☆40Updated 5 years ago
- Single Page Web Applications in Idris☆25Updated 9 months ago
- LLVM code generation in Haskell☆54Updated 9 months ago
- A beginner's guide to Haskell optimization☆64Updated 7 years ago
- lucid + htmx = lucid-htmx☆19Updated last year