Nipsuli / unisonhttp
WIP: unison http implementation
☆19Updated 4 years ago
Alternatives and similar repositories for unisonhttp:
Users that are interested in unisonhttp are comparing it to the libraries listed below
- Superseded by the core team project Unison Share (https://github.com/unisonweb/share)☆22Updated 4 years ago
- Isomorphic Reasoning: Counting with Types☆37Updated 4 years ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆59Updated 2 years ago
- A total recursion scheme library for Dhall☆66Updated this week
- A smart A* search monad transformer which supports backtracking user-state!☆81Updated 3 years ago
- 💙 Code from the HandyHaskell twitter page☆14Updated 4 years ago
- A convenient DSL for describing web routes☆42Updated 4 years ago
- Cofun with Cofree Comonads☆31Updated 8 years ago
- HoTT Note-taking action☆25Updated 5 years ago
- A Warp-based gRPC server for Haskell☆23Updated 5 years ago
- Dual Traversable☆42Updated last year
- 🎯 IO with Exceptions tracked on the type-level☆58Updated 3 years ago
- Haskell Webapps on AWS Lambda☆43Updated last year
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- ♾️ Sized list☆46Updated 8 months ago
- YesQL-style SQL database abstraction.☆26Updated 4 years ago
- high-powered optics in a small package☆53Updated 3 months ago
- Fast and simple JSON encoding toolkit☆82Updated last year
- Zippers based on lenses and traversals☆38Updated last year
- Moot is a CFP and event management system!☆66Updated 6 years ago
- Example of usage polysemy and servant☆56Updated 5 years ago
- Standard containers, with keys that carry type-level proofs of their own presence.☆79Updated 4 years ago
- A set of patches to make Hackage compatible with the Eta language.☆64Updated 5 years ago
- OTP-like supervision trees in Haskell☆62Updated 5 years ago
- Bind The Gap: FP digital magazine☆21Updated 4 years ago
- CI assistant☆46Updated 3 weeks ago
- Haskell version of the Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"☆64Updated 3 years ago
- Port of Scala/Haskell Refined library to Idris☆15Updated 3 years ago
- JSON decoding/encoding/manipulation library.☆94Updated 2 years ago
- Le Fromage de Terreur - Auto-generated Terraform DSL☆63Updated 5 years ago