np / hxLinks
Bitcoin CLI tools: Haskell port of Sx using Haskoin
☆12Updated 9 years ago
Alternatives and similar repositories for hx
Users that are interested in hx are comparing it to the libraries listed below
Sorting:
- An alternative interface to Opaleye, built around type families☆13Updated 8 years ago
- This project is dead. See https://gitlab.com/k0001/moto for its reincarnation.☆17Updated 6 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 7 years ago
- Automatic generation of haskell functions for querying servant webservices ... in GHCJS!☆13Updated 7 years ago
- Auto-generate a server for your datatype☆30Updated 3 years ago
- An append only list in a compact region☆25Updated 7 years ago
- Low-level Haskell bindings for libpq☆19Updated 6 years ago
- Integration of the Warp webserver with Let's Encrypt☆19Updated 8 years ago
- Simplified interface to the GHC API☆22Updated 6 years ago
- a lightweight CSS DSL for haskell☆23Updated 5 years ago
- Haskell library to interface with the nix package manager☆25Updated 3 years ago
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆34Updated 3 years ago
- Various type-aligned sequence data structures.☆21Updated 4 years ago
- Maps using values' monoidal structure during merging☆42Updated 6 months ago
- Experimental implementation of generic record subtyping☆18Updated last year
- Kleene algebra, regular expressions☆33Updated last year
- ☆25Updated 8 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 7 months ago
- align ghcjs with stack☆11Updated 8 years ago
- 💧 Liquid Haskell integration for Cabal and Stack☆25Updated 6 years ago
- Flush system metrics to statsd☆26Updated 5 months ago
- A hashing-based graph implementation in Haskell