haskell-cryptography / cacophony
A Haskell library implementing the Noise protocol.
☆95Updated 3 years ago
Related projects: ⓘ
- A haskell library implementing the Kademlia DHT☆43Updated 5 years ago
- Multihash Haskell implementation☆27Updated last year
- Small minimal examples of modern cryptographic techniques in Haskell☆79Updated 4 years ago
- Double ratchet algorithm for E2E encryption☆59Updated 5 years ago
- Hackage security framework based on TUF (The Update Framework)☆56Updated 2 weeks ago
- A DSL for describing and implementing communication protocols☆82Updated 9 years ago
- A Haskell client library for the IPFS API☆26Updated 7 years ago
- Implementation of cryptographic primitives using Idris☆121Updated 6 years ago
- ☆27Updated 5 years ago
- ideas and planning on how to use IPFS together with Nix/OS☆17Updated 7 years ago
- Cryptography that's easy to digest (NaCl/libsodium bindings)☆61Updated 4 months ago
- ☆24Updated this week
- The security-centric web platform framework☆52Updated 8 years ago
- Translate Pascal into Haskell☆51Updated 5 years ago
- Distributed programming language that desugars to Morte☆91Updated 2 years ago
- Cryptographic library for Haskell☆67Updated last month
- Shamir secret sharing in Haskell.☆13Updated 6 years ago
- An XMPP client library for Haskell.☆53Updated 3 years ago
- Drafts, notes and resources for adding linear typing to GHC.☆75Updated 4 years ago
- A Demo of how to use Warp and SO_REUSEPORT to create a zero downtime deploy.☆48Updated 7 years ago
- Haskell implementation of the InterPlanetary File System☆14Updated 10 years ago
- A proper network library for Idris, now that I know what I'm doing.☆57Updated 7 years ago
- A Haskell implementation of crit-bit trees.☆138Updated 2 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆55Updated 6 years ago
- ☆30Updated 7 years ago
- SPAKE2 key exchange protocol for Haskell☆14Updated last year
- An implementation of the Raft consensus protocol☆122Updated last year
- A concurrency framework for the Ivory language☆43Updated 4 years ago
- A formal moral framework coded in Haskell☆49Updated 9 years ago
- A hip inductive theorem prover!☆87Updated 2 years ago