haskell-cryptography / cacophony
A Haskell library implementing the Noise protocol.
☆98Updated 2 months ago
Alternatives and similar repositories for cacophony:
Users that are interested in cacophony are comparing it to the libraries listed below
- Hackage security framework based on TUF (The Update Framework)☆56Updated 2 months ago
- A haskell library implementing the Kademlia DHT☆43Updated 6 years ago
- Small minimal examples of modern cryptographic techniques in Haskell☆79Updated 5 years ago
- A DSL for describing and implementing communication protocols☆83Updated 10 years ago
- DNS libary in Haskell☆63Updated 9 months ago
- Double ratchet algorithm for E2E encryption☆59Updated 6 years ago
- Implementation of cryptographic primitives using Idris☆121Updated 6 years ago
- Cryptographic library for Haskell☆67Updated last month
- TripleSec is a simple, triple-paranoid, symmetric encryption library☆12Updated last year
- Multihash Haskell implementation☆27Updated last year
- A Haskell implementation of crit-bit trees.☆138Updated 2 years ago
- Cryptography that's easy to digest (NaCl/libsodium bindings)☆62Updated last month
- An XMPP client library for Haskell.☆53Updated 3 years ago
- Drafts, notes and resources for adding linear typing to GHC.☆77Updated 4 years ago
- The haskell network stack☆115Updated 7 years ago
- ☆21Updated 7 years ago
- A Haskell client library for the IPFS API☆26Updated 7 years ago
- Distributed programming language that desugars to Morte☆92Updated 2 years ago
- ☆74Updated 3 weeks ago
- ☆30Updated 8 years ago
- Labeled IO Library☆57Updated 4 years ago
- A proper network library for Idris, now that I know what I'm doing.☆58Updated 8 years ago
- Haskell implementation of the InterPlanetary File System☆14Updated 10 years ago
- Predictable Haskell development environments with Cabal and Nix.☆65Updated 5 years ago
- MinIO Client SDK for Haskell☆49Updated last month
- A fast Haskell Bloom filter library.☆60Updated 2 years ago
- Compact regions library for Haskell☆82Updated 8 months ago
- GNU bash backend for Idris☆53Updated 6 years ago
- An implementation of the Raft consensus protocol☆121Updated 2 years ago
- A concurrency framework for the Ivory language☆43Updated 5 years ago