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
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• ConsenSysMesh / Fae
  A functional smart contract system
  ☆6Updated 6 years ago
• vindaloo-thesis / idris-se
  Idris to Serpent back end for Ethereum smart contracts
  ☆32Updated 7 years ago
• idris-hackers / idris-crypto
  Implementation of cryptographic primitives using Idris
  ☆121Updated 6 years ago
• sdiehl / zurihac-crypto
  Small minimal examples of modern cryptographic techniques in Haskell
  ☆79Updated 5 years ago
• bos / bloomfilter
  A fast Haskell Bloom filter library.
  ☆60Updated 2 years ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆101Updated 2 years ago
• RedPRL / sml-typed-abts
  second-order abstract syntax
  ☆31Updated 3 years ago
• NicolasT / kontiki
  An implementation of the Raft consensus protocol
  ☆121Updated 2 years ago
• robrix / semilattices
  join and meet semilattices, lower and upper bounds.
  ☆43Updated 6 months ago
• LeastAuthority / haskell-spake2
  SPAKE2 key exchange protocol for Haskell
  ☆14Updated last year
• acid-state / safecopy
  An extension to Data.Serialize with built-in version control
  ☆59Updated last month
• jaspervdj / talks
  Slides & demos for talks I do
  ☆59Updated 4 years ago
• roman / Haskell-etc
  Declarative configuration spec for Haskell projects
  ☆47Updated 5 years ago
• nikita-volkov / graph-db
  An experimental native Haskell graph database
  ☆61Updated 6 years ago
• sdiehl / shamir
  Shamir Secret Sharing
  ☆20Updated 5 years ago
• liqd / thentos
  A tool for privacy-preserving identity management (PPIM)
  ☆56Updated 8 years ago
• kadena-io / masala
  Standalone Ethereum Virtual Machine
  ☆51Updated 3 years ago
• goldfirere / effects
  A Haskell translation of Idris's original algebraic effects library
  ☆41Updated 8 years ago
• ekmett / auth
  ☆40Updated 6 years ago
• jprupp / nqe
  Concurrency library inspired by Erlang/OTP
  ☆18Updated last year
• tfausak / wuss
  Secure WebSocket (WSS) clients in Haskell.
  ☆69Updated 2 months ago
• barrucadu / dejafu
  Systematic concurrency testing meets Haskell.
  ☆197Updated last month
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆63Updated 3 years ago
• ocharles / hlint-source-plugin
  Run HLint as part of normal compilation
  ☆47Updated 6 years ago
• hasura / graphql-parser-hs
  A GraphQL query parser for Haskell
  ☆59Updated 2 years ago
• brianhempel / live-ghci
  Evaluate special comments in your program on file save.
  ☆38Updated 4 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated last month
• robrix / path
  A lambda calculus to explore type-directed program synthesis.
  ☆84Updated 5 years ago