MercuryTechnologies / ada
A helpful AI assistant for Mercury engineers
☆17Updated 7 months ago
Alternatives and similar repositories for ada
Users that are interested in ada are comparing it to the libraries listed below
Sorting:
- Algebraic effects in the Bluefin effect system☆16Updated last year
- First Class Record Fields in Haskell☆17Updated 2 months ago
- Require that callers propagate `HasCallStack` constraints☆21Updated 4 months ago
- todo and unimplemented, robustly implemented☆33Updated 8 months ago
- ☆16Updated 2 years ago
- ☆19Updated last week
- Type-safe WebAssembly eDSL in Haskell☆26Updated 6 months ago
- ☆20Updated 6 months ago
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆19Updated 2 months ago
- lucid + htmx = lucid-htmx☆19Updated 9 months ago
- ☆25Updated 8 months ago
- A cross-platform driver for Tauri in Haskell☆50Updated 10 months ago
- Automation for releasing haskell packages☆18Updated last year
- GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …☆12Updated 4 months ago
- ☆10Updated last month
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆18Updated 2 months ago
- A Haskell monad transformer library for data validation☆36Updated last year
- Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)☆17Updated last year
- Haskell wrapper for iced☆33Updated last month
- Servant bindings to OpenAI☆24Updated last week
- Haskell counters that can be safely incremented from multiple threads☆19Updated 4 months ago
- Session types framework with support of protocol pipelining.☆15Updated 2 months ago
- GHC plugin for hlint☆11Updated last year
- Data structures for describing changes to other data structures.☆17Updated 3 months ago
- WIP: A modern step-through debugger for GHC Haskell☆19Updated this week
- Types for ldtk☆15Updated last year
- GHC plugin to desugar ! into do-notation☆37Updated 2 months ago
- Opinionated package manager for haskell (WIP)☆17Updated last year
- Flake template for Haskell repository☆34Updated 7 months ago
- ☆16Updated 3 years ago