MercuryTechnologies / ada
A helpful AI assistant for Mercury engineers
☆16Updated 5 months ago
Alternatives and similar repositories for ada:
Users that are interested in ada are comparing it to the libraries listed below
- Type-safe WebAssembly eDSL in Haskell☆25Updated 5 months ago
- A Haskell monad transformer library for data validation☆36Updated last year
- Session types framework with support of protocol pipelining.☆16Updated 2 weeks ago
- Algebraic effects in the Bluefin effect system☆15Updated 10 months ago
- Haskell implementation of the KDL Document Language☆21Updated 2 years ago
- Servant bindings to OpenAI☆21Updated this week
- A cross-platform driver for Tauri in Haskell☆50Updated 8 months ago
- ☆15Updated last year
- Examples for Streamly☆29Updated this week
- ☆16Updated this week
- First Class Record Fields in Haskell☆17Updated 2 weeks ago
- ☆20Updated 4 months ago
- lucid + htmx = lucid-htmx☆19Updated 7 months ago
- GHC plugin to desugar ! into do-notation☆37Updated 2 weeks ago
- Automation for releasing haskell packages☆18Updated last year
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆17Updated 3 weeks ago
- Require that callers propagate `HasCallStack` constraints☆21Updated 3 months ago
- A dependently typed programming language with direct style effects and linearity☆19Updated 8 months ago
- ☆24Updated 8 months ago
- Flake template for Haskell repository☆33Updated 5 months ago
- Types for ldtk☆14Updated 11 months ago
- Haskell counters that can be safely incremented from multiple threads☆19Updated 3 months ago
- GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …☆11Updated 3 months ago
- todo and unimplemented, robustly implemented☆33Updated 6 months ago
- A modern Haskell debugger☆30Updated last year
- OpenTelemetry instrumentation for Servant, compatible with hs-opentelemetry.☆13Updated 7 months ago
- ☆25Updated 6 months ago
- ☆16Updated 3 years ago