MercuryTechnologies / adaLinks
A helpful AI assistant for Mercury engineers
☆17Updated last month
Alternatives and similar repositories for ada
Users that are interested in ada are comparing it to the libraries listed below
Sorting:
- Haskell implementation of the KDL Document Language☆24Updated this week
- GHC plugin to desugar ! into do-notation☆37Updated 5 months ago
- Haskell wrapper for iced☆35Updated 2 months ago
- Servant bindings to OpenAI☆26Updated last week
- A modern Haskell debugger☆31Updated 3 months ago
- Flake template for Haskell repository☆37Updated 10 months ago
- high-powered optics in a small package☆53Updated 10 months ago
- Experiments about running Haskell via WebAssembly on Fastly☆40Updated 2 years ago
- Session types framework with support of protocol pipelining.☆15Updated last week
- Chapelure is a diagnostic library for Haskell☆45Updated 2 years ago
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆52Updated this week
- Existential type.☆37Updated 8 months ago
- Functor-parametric containers☆20Updated 7 months ago
- 📺 The power of Haskell in your terminal!☆44Updated 3 months ago
- ☆21Updated 2 months ago
- A cross-platform driver for Tauri in Haskell☆52Updated last year
- todo and unimplemented, robustly implemented☆36Updated 11 months ago
- Check cross-references in repository documents☆55Updated 4 months ago
- An unofficial Idris2 package repository for Nix☆47Updated 2 years ago
- Require that callers propagate `HasCallStack` constraints☆21Updated 8 months ago
- Handy macro to generate C-FFI bindings to Rust for Haskell☆69Updated last week
- A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!☆103Updated last week
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆96Updated 2 months ago
- An Awesome MCP Server Framework for Haskell☆32Updated last week
- Improving all Haskell's programmer interfaces☆73Updated 7 months ago
- A library for benign effects in Haskell☆20Updated 3 months ago
- GHC plugin for open telemetry☆24Updated 2 months ago
- Type-safe WebAssembly eDSL in Haskell☆27Updated 10 months ago
- ☆16Updated 2 years ago
- ☆25Updated this week