haskell-cryptography / cacophonyLinks
A Haskell library implementing the Noise protocol.
☆100Updated 7 months ago
Alternatives and similar repositories for cacophony
Users that are interested in cacophony are comparing it to the libraries listed below
Sorting:
- Double ratchet algorithm for E2E encryption☆59Updated 6 years ago
- A haskell library implementing the Kademlia DHT☆43Updated 6 years ago
- Hackage security framework based on TUF (The Update Framework)☆61Updated last month
- Small minimal examples of modern cryptographic techniques in Haskell☆78Updated 5 years ago
- Cryptographic library for Haskell☆68Updated 6 months ago
- The security-centric web platform framework☆52Updated 8 years ago
- A DSL for describing and implementing communication protocols☆83Updated 10 years ago
- Implementation of cryptographic primitives using Idris☆122Updated 7 years ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- Distributed programming language that desugars to Morte☆92Updated 2 years ago
- The haskell network stack☆115Updated 7 years ago
- Multihash Haskell implementation☆28Updated 2 years ago
- Labeled IO Library☆57Updated 4 years ago
- Drafts, notes and resources for adding linear typing to GHC.☆78Updated 5 years ago
- A Haskell client library for the IPFS API☆26Updated 8 years ago
- A concurrency framework for the Ivory language☆44Updated 5 years ago
- SPAKE2 key exchange protocol for Haskell☆14Updated 2 years ago
- A Haskell implementation of crit-bit trees.☆140Updated 3 years ago
- Shamir secret sharing in Haskell.☆14Updated 7 years ago
- Some writings about a type system for nix☆19Updated 7 years ago
- Cryptography that's easy to digest (NaCl/libsodium bindings)☆63Updated 6 months ago
- Translate Pascal into Haskell☆51Updated 6 years ago
- ELF data structures for Haskell☆24Updated 2 years ago
- DNS libary in Haskell☆63Updated last year
- ☆29Updated 8 years ago
- Haskell generic interface (type classes) for cryptographic algorithms☆29Updated 8 years ago
- Unpacked containers using backpack☆52Updated 5 years ago
- ☆76Updated last month
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆107Updated 2 years ago
- ☆27Updated 6 years ago