sdiehl / double-ratchetLinks
Double ratchet algorithm for E2E encryption
☆59Updated 6 years ago
Alternatives and similar repositories for double-ratchet
Users that are interested in double-ratchet are comparing it to the libraries listed below
Sorting:
- Shamir Secret Sharing☆21Updated 5 years ago
- Idris to Serpent back end for Ethereum smart contracts☆32Updated 7 years ago
- A haskell library implementing the Kademlia DHT☆43Updated 6 years ago
- ☆40Updated 7 years ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- A functional smart contract system☆6Updated 6 years ago
- A Haskell client library for the IPFS API☆26Updated 8 years ago
- SPAKE2 key exchange protocol for Haskell☆14Updated 2 years ago
- Small minimal examples of modern cryptographic techniques in Haskell☆78Updated 5 years ago
- An append only list in a compact region☆25Updated 6 years ago
- Haskell Join-calculus DSL☆24Updated 6 years ago
- Hashing with SL2 for Haskell☆19Updated 5 years ago
- Run HLint as part of normal compilation☆47Updated 6 years ago
- Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.☆47Updated 7 years ago
- OTP-like supervision trees in Haskell☆62Updated 6 years ago
- Efficient implementation of the implicit treap data structure☆62Updated 4 years ago
- Distributed systems execution emulation☆18Updated 6 years ago
- The security-centric web platform framework☆52Updated 8 years ago
- A tool for privacy-preserving identity management (PPIM)☆56Updated 8 years ago
- Implementation of cryptographic primitives using Idris☆122Updated 7 years ago
- Cryptography that's easy to digest (NaCl/libsodium bindings)☆63Updated 5 months ago
- Haskell port of the WebAssembly OCaml reference interpreter☆45Updated 2 years ago
- Abe-Ohkubo-Suzuki Linkable Ring Signatures☆48Updated 5 years ago
- Run lifted IO operations asynchronously and wait for their results☆29Updated 9 months ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 4 months ago
- Measure time complexity empirically.☆48Updated 9 years ago
- A Demo of how to use Warp and SO_REUSEPORT to create a zero downtime deploy.☆49Updated 8 years ago
- JVM implementation in Haskell☆42Updated 10 months ago
- Auto-generate a server for your datatype☆30Updated 2 years ago
- Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core☆28Updated 6 years ago