np / hx
Bitcoin CLI tools: Haskell port of Sx using Haskoin
☆14Updated 8 years ago
Related projects: ⓘ
- An alternative interface to Opaleye, built around type families☆13Updated 7 years ago
- A Haskell client library for the IPFS API☆26Updated 7 years ago
- "Flatten" servant API types☆14Updated 6 years ago
- Servant based API and server for token based authorisation☆14Updated 5 years ago
- This project is dead. See https://gitlab.com/k0001/moto for its reincarnation.☆17Updated 5 years ago
- Example of embedding Servant within a Yesod Application☆15Updated 8 years ago
- Haskell bindings for secp256k1 library☆24Updated 3 weeks ago
- Make presentations for data types☆25Updated 2 years ago
- Simplified interface to the GHC API☆24Updated 5 years ago
- Combinators for bidirectional JSON parsing☆21Updated 10 years ago
- Generate a cabal freeze file from a stack.yaml☆36Updated 6 years ago
- ☆25Updated 7 years ago
- ☆26Updated 8 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- A GHC type checker plugin for row types☆39Updated 6 years ago
- ☆25Updated this week
- An extension to Data.Serialize with built-in version control☆60Updated 4 months ago
- Golden test support for Tasty☆36Updated 2 months ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- Transactional cache with configurable persistence☆48Updated last year
- A haskell library for principled, cross-platform & extensible hashing of types, including an implementation of the FNV-1a algorithm. (DEV…☆23Updated 7 years ago
- Haskell bindings to RocksDB (http://rocksdb.org)☆27Updated 6 years ago
- Automatic generation of haskell functions for querying servant webservices ... in GHCJS!☆13Updated 6 years ago
- Mark test cases as expected-failure☆21Updated 3 years ago
- An example of reflex-dom built by Stack☆23Updated 8 years ago
- Demonstrating comonad transformers.☆36Updated 7 years ago
- Low-level Haskell bindings for libpq☆19Updated 5 years ago
- Simple typesafe routing☆44Updated 2 years ago
- Sample SPOCK + GHCJS app☆23Updated 7 years ago
- Various type-aligned sequence data structures.☆20Updated 3 years ago