tel / serv
Kind-safe framework for type-safe APIs
☆78Updated 5 years ago
Alternatives and similar repositories for serv:
Users that are interested in serv are comparing it to the libraries listed below
- A book about large-scale design in Haskell☆75Updated 10 years ago
- Reproducible builds for PureScript☆73Updated 6 years ago
- Declare and access tuple fields with labels☆58Updated 6 years ago
- Slides and exercises for the Idris course taught at Galois☆50Updated 9 years ago
- An optimized general monad transformer for streaming applications, with a simple prelude of functions☆106Updated 6 years ago
- Playing with https://github.com/ekmett/machines☆51Updated 7 years ago
- A functional web framework☆34Updated 3 years ago
- Compile PureScript into Haskell.☆68Updated 7 years ago
- Google Translate API☆50Updated 4 months ago
- Static blog generator in Idris.☆39Updated 10 years ago
- Fast non-backtracking incremental combinator parsing for bytestrings☆46Updated 4 years ago
- ☆74Updated 8 years ago
- A haskell library implementing fast and scalable concurrent queues for x86, with a Chan-like API☆130Updated 3 years ago
- A small web programming library on top of reactive-banana and virtual-dom☆79Updated 9 years ago
- Monitor cyclomatic complexity in Haskell programs☆98Updated 6 years ago
- A native Haskell driver for PostgreSQL☆64Updated 6 years ago
- ☆42Updated 9 years ago
- A Distributed Computing Library in Haskell☆52Updated 7 years ago
- Example CRUD web server+client using Servant☆34Updated 2 years ago
- Hoed - A Lightweight Haskell Tracer and Debugger☆51Updated 4 years ago
- UNMAINTAINED: Continuous integration server☆130Updated 6 years ago
- ☆44Updated 7 years ago
- Convert between pointfree and pointful Haskell expressions.☆49Updated 8 years ago
- Evaluation-orthogonal serialisation of Haskell data, as a library☆62Updated 3 months ago
- ☆46Updated 8 years ago
- Client-side and server-side web framework over Transient and GHCJS (Haskell to JavaScript compiler)☆68Updated 4 years ago
- A high level HTTP client for Haskell that focuses on ease of use☆62Updated 7 years ago
- Various data structures for use in the Idris Language.☆95Updated 4 years ago
- An extensible event-driven application framework in haskell☆110Updated 4 years ago
- type-safe JSON spec and validation tool☆85Updated 4 years ago