sdiehl / double-ratchet
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
- A functional smart contract system☆6Updated 6 years ago
- Small minimal examples of modern cryptographic techniques in Haskell☆79Updated 5 years ago
- Implementation of cryptographic primitives using Idris☆121Updated 6 years ago
- A haskell library implementing the Kademlia DHT☆43Updated 6 years ago
- Distributed systems execution emulation☆18Updated 6 years ago
- Run HLint as part of normal compilation☆47Updated 6 years ago
- A tool for privacy-preserving identity management (PPIM)☆56Updated 8 years ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- Secure WebSocket (WSS) clients in Haskell.☆69Updated 2 months ago
- Drafts, notes and resources for adding linear typing to GHC.☆77Updated 4 years ago
- High-resolution clock functions: monotonic, realtime, cputime.☆59Updated last year
- Shamir Secret Sharing☆20Updated 5 years ago
- Idris to Serpent back end for Ethereum smart contracts☆32Updated 7 years ago
- Generate and apply diffs between JSON documents.☆39Updated 2 years ago
- A fast Haskell Bloom filter library.☆60Updated 2 years ago
- SPAKE2 key exchange protocol for Haskell☆14Updated last year
- Declarative configuration spec for Haskell projects☆47Updated 5 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- A hashing-based graph implementation in Haskell☆33Updated 6 years ago
- Get all your structure and rip it apart.☆31Updated 6 years ago
- haskell memory☆48Updated last year
- Type-safe time units in Haskell☆49Updated 2 months ago
- Haskell bindings to LevelDB (https://github.com/google/leveldb)☆68Updated last month
- Various functions which are used across multiple @serokell packages☆44Updated 5 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆55Updated 6 years ago
- A useful type for working with integers modulo some constant.☆30Updated last year
- Tasty meal of Dhall☆66Updated last year
- Cryptography that's easy to digest (NaCl/libsodium bindings)☆62Updated last month
- Code samples inspiring language design☆24Updated 9 years ago
- Haskell to Elm translation using Template Haskell. Contains both a library and executable.☆49Updated 7 years ago