Alternatives and similar repositories for double-ratchet:

Users that are interested in double-ratchet are comparing it to the libraries listed below

• froozen / kademlia
  A haskell library implementing the Kademlia DHT
  ☆43Updated 6 years ago
• idris-hackers / idris-crypto
  Implementation of cryptographic primitives using Idris
  ☆120Updated 6 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• serokell / time-warp
  Distributed systems execution emulation
  ☆18Updated 6 years ago
• sdiehl / zurihac-crypto
  Small minimal examples of modern cryptographic techniques in Haskell
  ☆79Updated 5 years ago
• corsis / clock
  High-resolution clock functions: monotonic, realtime, cputime.
  ☆59Updated last year
• tel / saltine
  Cryptography that's easy to digest (NaCl/libsodium bindings)
  ☆61Updated 8 months ago
• ConsenSysMesh / Fae
  A functional smart contract system
  ☆6Updated 5 years ago
• vindaloo-thesis / idris-se
  Idris to Serpent back end for Ethereum smart contracts
  ☆32Updated 7 years ago
• m0ar / safe-streaming
  Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.
  ☆47Updated 7 years ago
• vincenthz / hs-memory
  haskell memory
  ☆48Updated last year
• liqd / thentos
  A tool for privacy-preserving identity management (PPIM)
  ☆56Updated 8 years ago
• hsyl20 / haskus-system
  ☆27Updated 5 years ago
• NicolasT / kontiki
  An implementation of the Raft consensus protocol
  ☆122Updated 2 years ago
• serokell / o-clock
  Type-safe time units in Haskell
  ☆49Updated last week
• gelisam / hyzzy
  A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.
  ☆32Updated 4 years ago
• bos / bloomfilter
  A fast Haskell Bloom filter library.
  ☆60Updated last year
• ocharles / hlint-source-plugin
  Run HLint as part of normal compilation
  ☆47Updated 6 years ago
• tranma / almost-complexity
  complexity testing for haskell
  ☆48Updated 9 years ago
• roman / Haskell-etc
  Declarative configuration spec for Haskell projects
  ☆47Updated 5 years ago
• raaz-crypto / raaz
  Cryptographic library for Haskell
  ☆67Updated last month
• serokell / rocksdb-haskell
  Haskell bindings to RocksDB (http://rocksdb.org)
  ☆27Updated 6 years ago
• kazu-yamamoto / dns
  DNS libary in Haskell
  ☆63Updated 7 months ago
• kim / leveldb-haskell
  Haskell bindings to LevelDB (https://github.com/google/leveldb)
  ☆67Updated 7 months ago
• fizruk / http-api-data
  Converting to/from HTTP API data like URL pieces, headers and query parameters.
  ☆52Updated 5 months ago
• robrix / semilattices
  join and meet semilattices, lower and upper bounds.
  ☆43Updated 3 months ago
• goldfirere / effects
  A Haskell translation of Idris's original algebraic effects library
  ☆41Updated 8 years ago
• liamoc / patches-vector
  A library for patches (diffs) on vectors: composable, mergeable and invertible
  ☆55Updated 6 years ago
• nh2 / haskell-cpu-instruction-counter
  Measuring CPU instructions in Haskell using Linux Performance Counters
  ☆84Updated 6 years ago
• ekmett / perhaps
  A monad, perhaps.
  ☆33Updated 4 years ago