froozen / kademlia
A haskell library implementing the Kademlia DHT
☆43Updated 5 years ago
Related projects: ⓘ
- High-resolution clock functions: monotonic, realtime, cputime.☆58Updated last year
- An XMPP client library for Haskell.☆53Updated 3 years ago
- ☆27Updated 5 years ago
- complexity testing for haskell☆47Updated 8 years ago
- An extension to Data.Serialize with built-in version control☆60Updated 4 months ago
- A fast Haskell Bloom filter library.☆60Updated last year
- A Haskell client library for the IPFS API☆26Updated 7 years ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆49Updated last year
- Haskell library for efficiently building up buffers☆25Updated last month
- Haskell bindings for the FUSE library☆27Updated 7 months ago
- Raft distributed consensus protocol (Haskell library)☆27Updated 5 years ago
- Generate and apply diffs between JSON documents.☆39Updated last year
- Haskell bindings to nanomsg☆25Updated 2 weeks ago
- ELF data structures for Haskell☆24Updated last year
- A proper network library for Idris, now that I know what I'm doing.☆57Updated 7 years ago
- A hip inductive theorem prover!☆87Updated 2 years ago
- An implementation of the Raft consensus protocol☆122Updated last year
- Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.☆47Updated 7 years ago
- Create command line interfaces with ease☆41Updated last year
- Transactional cache with configurable persistence☆48Updated last year
- IP Routing Table in Haskell☆47Updated 2 months ago
- InfluxDB client library for Haskell☆53Updated 2 months ago
- ☆26Updated this week
- library to manipulate git repositories in haskell (no bindings)☆48Updated 5 years ago
- A Distributed Computing Library in Haskell☆52Updated 7 years ago
- DNS libary in Haskell☆64Updated 3 months ago
- Distributed systems execution emulation☆18Updated 5 years ago
- Hackage search engine☆56Updated 6 years ago
- GNU bash backend for Idris☆53Updated 5 years ago
- haskell memory☆47Updated last year