matthunz / view-monad
☆24Updated 8 months ago
Alternatives and similar repositories for view-monad:
Users that are interested in view-monad are comparing it to the libraries listed below
- A cross-platform driver for Tauri in Haskell☆50Updated 9 months ago
- todo and unimplemented, robustly implemented☆33Updated 7 months ago
- LambdaBuffers toolkit for sharing types and their semantics between different languages☆31Updated this week
- The PureScript Package Manager in Nix☆57Updated 3 months ago
- Session types framework with support of protocol pipelining.☆16Updated last month
- 📺 The power of Haskell in your terminal!☆42Updated 3 months ago
- Javascript DOM bindings for Idris2☆52Updated 10 months ago
- Type-safe WebAssembly eDSL in Haskell☆25Updated 5 months ago
- An unofficial Idris2 package repository for Nix☆46Updated 2 years ago
- ☆41Updated last year
- Algebraic effects in the Bluefin effect system☆16Updated 11 months ago
- Linear lens☆20Updated last year
- Reproducible PureScript projects with Nix☆23Updated last week
- GHC plugin to desugar ! into do-notation☆37Updated last month
- Haskell wrapper for iced☆30Updated this week
- Source material for Certainty by Construction☆41Updated last year
- ☆21Updated 3 months ago
- Examples for Streamly☆29Updated 2 weeks ago
- ☆16Updated 6 months ago
- A modern Haskell debugger☆30Updated last year
- Flake template for Haskell repository☆34Updated 6 months ago
- Command line interface library in Idris☆31Updated 8 months ago
- Haskell implementation of data structures for data science☆21Updated 3 weeks ago
- ☆17Updated 2 weeks ago
- Simple configuration and extra tools for NVIM + LSP + Idris2☆47Updated 4 months ago
- Libraries for the Effectful Haskell effects system☆22Updated 2 years ago
- Chapelure is a diagnostic library for Haskell☆45Updated last year
- ☆16Updated 2 years ago
- Opinionated package manager for haskell (WIP)☆17Updated last year
- Batteries-included structured logging library☆30Updated this week