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:
- A haskell library implementing the Kademlia DHT☆43Updated 6 years ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- ☆40Updated 6 years ago
- Distributed systems execution emulation☆18Updated 6 years ago
- Small minimal examples of modern cryptographic techniques in Haskell☆78Updated 5 years ago
- An implementation of "Freer Monads, More Extensible Effects".☆20Updated 6 years ago
- SPAKE2 key exchange protocol for Haskell☆14Updated 2 years ago
- Run HLint as part of normal compilation☆47Updated 6 years ago
- Run lifted IO operations asynchronously and wait for their results☆29Updated 7 months ago
- Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.☆47Updated 7 years ago
- A fast Haskell Bloom filter library.☆60Updated 2 years ago
- join and meet semilattices, lower and upper bounds.☆43Updated 8 months ago
- Implementation of cryptographic primitives using Idris☆122Updated 7 years ago
- Idris to Serpent back end for Ethereum smart contracts☆32Updated 7 years ago
- Haskell Join-calculus DSL☆24Updated 6 years ago
- Declarative configuration spec for Haskell projects☆47Updated 6 years ago
- Get all your structure and rip it apart.☆32Updated 6 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆56Updated 6 years ago
- Evaluate special comments in your program on file save.☆38Updated 4 years ago
- An extension to Data.Serialize with built-in version control☆59Updated 3 months ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- A wiki based on firm theoretical foundations☆51Updated 9 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 3 months ago
- An implementation of the Raft consensus protocol☆121Updated 2 years ago
- A functional smart contract system☆6Updated 6 years ago
- Content Addressable Storage Archive☆41Updated last year
- Cryptography that's easy to digest (NaCl/libsodium bindings)☆63Updated 4 months ago
- ☆20Updated 6 years ago
- Haskell: Efficiently build a bytestring from smaller chunks☆24Updated 2 years ago
- OpenTracing (https://opentracing.io) for Haskell☆40Updated 3 months ago