MercuryTechnologies / ada
A helpful AI assistant for Mercury engineers
☆16Updated 4 months ago
Alternatives and similar repositories for ada:
Users that are interested in ada are comparing it to the libraries listed below
- Session types framework with support of protocol pipelining.☆16Updated 2 weeks ago
- GHC plugin to desugar ! into do-notation☆37Updated 2 months ago
- Algebraic effects in the Bluefin effect system☆15Updated 9 months ago
- ☆20Updated 3 months ago
- Require that callers propagate `HasCallStack` constraints☆21Updated 2 months ago
- GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …☆11Updated last month
- ☆15Updated last year
- Type-safe WebAssembly eDSL in Haskell☆23Updated 4 months ago
- A modern Haskell debugger☆30Updated last year
- A library for benign effects in Haskell☆20Updated last week
- A Haskell monad transformer library for data validation☆36Updated last year
- First Class Record Fields in Haskell☆17Updated 8 months ago
- A cross-platform driver for Tauri in Haskell☆49Updated 7 months ago
- Opinionated package manager for haskell (WIP)☆17Updated last year
- lucid + htmx = lucid-htmx☆19Updated 6 months ago
- Automatically import Haskell modules.☆21Updated 2 weeks ago
- A dependently typed programming language with direct style effects and linearity☆19Updated 6 months ago
- ☆25Updated 5 months ago
- 📺 The power of Haskell in your terminal!☆42Updated last month
- todo and unimplemented, robustly implemented☆33Updated 5 months ago
- ☆15Updated 3 months ago
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆17Updated last month
- Reimplementation of a subset of Cabal☆24Updated this week
- Spreadsheet management application on Halogen☆26Updated 8 months ago
- A Haskell libary for fast arrowized FRP based on signal functions☆18Updated 6 months ago
- Ouroboros is a PureScript compiler written in PureScript.☆19Updated 4 months ago
- Flake template for Haskell repository☆32Updated 4 months ago
- Haskell implementation of the KDL Document Language☆21Updated 2 years ago
- Automation for releasing haskell packages☆18Updated last year