pontarius / pontarius-xmpp
An XMPP client library for Haskell.
☆53Updated 3 years ago
Alternatives and similar repositories for pontarius-xmpp:
Users that are interested in pontarius-xmpp are comparing it to the libraries listed below
- A haskell library implementing the Kademlia DHT☆43Updated 6 years ago
- Certificate and Key Reader/Writer in haskell☆60Updated 9 months ago
- High-resolution clock functions: monotonic, realtime, cputime.☆59Updated last year
- Haskell bindings to RocksDB (http://rocksdb.org)☆27Updated 6 years ago
- An OS written in Idris (eventually...)☆19Updated 9 years ago
- Library and macros to simplify writing Haskell FFI code☆39Updated 2 years ago
- Secure WebSocket (WSS) clients in Haskell.☆69Updated 2 weeks ago
- DNS libary in Haskell☆63Updated 8 months ago
- ☆27Updated 5 years ago
- A tool for privacy-preserving identity management (PPIM)☆56Updated 8 years ago
- Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.☆47Updated 7 years ago
- Transactional cache with configurable persistence☆47Updated last year
- GHCJS DOM Hello World, an example package☆10Updated 9 months ago
- Servant authentication with javascript web tokens☆16Updated 6 years ago
- An extension to Data.Serialize with built-in version control☆59Updated 2 months ago
- Idris to Serpent back end for Ethereum smart contracts☆32Updated 7 years ago
- Static blog generator in Idris.☆39Updated 10 years ago
- ☆77Updated 2 years ago
- Translate Pascal into Haskell☆51Updated 5 years ago
- ☆54Updated 6 years ago
- Haskell 98 bifunctors, bifoldables and bitraversables☆57Updated 2 months ago
- Type-safe time units in Haskell☆49Updated 3 weeks ago
- A fast Haskell Bloom filter library.☆60Updated 2 years ago
- ELF data structures for Haskell☆24Updated last year
- An append only list in a compact region☆25Updated 6 years ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Updated 7 years ago
- Distributed systems execution emulation☆18Updated 6 years ago
- A proper network library for Idris, now that I know what I'm doing.☆58Updated 8 years ago
- ☆27Updated 8 years ago
- Raft distributed consensus protocol (Haskell library)☆27Updated 5 years ago