MercuryTechnologies / adaLinks
A helpful AI assistant for Mercury engineers
☆19Updated last month
Alternatives and similar repositories for ada
Users that are interested in ada are comparing it to the libraries listed below
Sorting:
- Haskell wrapper for iced☆36Updated 6 months ago
- Haskell bindings to OpenAI☆32Updated 2 weeks ago
- Haskell implementation of the KDL Document Language☆27Updated 2 weeks ago
- todo and unimplemented, robustly implemented☆36Updated last year
- Add early return to any do-expression☆47Updated 4 years ago
- A modern Haskell debugger☆31Updated 7 months ago
- GHC plugin to desugar ! into do-notation☆38Updated 9 months ago
- Flake template for Haskell repository☆38Updated last year
- Type-safe WebAssembly eDSL in Haskell☆28Updated last year
- An Awesome MCP Server Framework for Haskell☆38Updated 4 months ago
- ☆14Updated last month
- Experiments about running Haskell via WebAssembly on Fastly☆40Updated 2 years ago
- A cross-platform driver for Tauri in Haskell☆52Updated last year
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆56Updated 2 weeks ago
- Session types framework with support of protocol pipelining.☆16Updated last week
- Fast higher-order effect handlers with evidence passing☆21Updated last year
- Types for ldtk☆16Updated last year
- ☆17Updated 2 years ago
- Require that callers propagate `HasCallStack` constraints☆21Updated last year
- A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode☆60Updated last month
- ☆23Updated 7 months ago
- A Haskell monad transformer library for data validation☆37Updated 2 years ago
- Check cross-references in repository documents☆56Updated last week
- 📺 The power of Haskell in your terminal!☆44Updated 2 months ago
- Existential type.☆37Updated last year
- GHC plugin for open telemetry☆27Updated 6 months ago
- guardian - the border guardian for your Haskell monorepo package dependencies☆41Updated 3 months ago
- Icicle Streaming Query Language☆28Updated last month
- Command line interface library in Idris☆32Updated last year
- GHC plugin for hlint☆11Updated 2 years ago