Alternatives and similar repositories for double-ratchet

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

• sdiehl / shamir
  Shamir Secret Sharing
  ☆21Updated 6 years ago
• LeastAuthority / haskell-spake2
  SPAKE2 key exchange protocol for Haskell
  ☆14Updated 2 years ago
• vindaloo-thesis / idris-se
  Idris to Serpent back end for Ethereum smart contracts
  ☆31Updated 8 years ago
• idris-hackers / idris-crypto
  Implementation of cryptographic primitives using Idris
  ☆123Updated 7 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆90Updated 4 years ago
• froozen / kademlia
  A haskell library implementing the Kademlia DHT
  ☆43Updated 7 years ago
• sdiehl / zurihac-crypto
  Small minimal examples of modern cryptographic techniques in Haskell
  ☆77Updated 6 years ago
• m0ar / safe-streaming
  Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.
  ☆47Updated 8 years ago
• scslab / hails
  The security-centric web platform framework
  ☆52Updated 9 years ago
• ekmett / auth
  ☆40Updated 7 years ago
• composewell / compact-list
  An append only list in a compact region
  ☆25Updated 7 years ago
• serokell / time-warp
  Distributed systems execution emulation
  ☆18Updated 7 years ago
• roman / Haskell-capataz
  OTP-like supervision trees in Haskell
  ☆62Updated 6 years ago
• tel / saltine
  Cryptography that's easy to digest (NaCl/libsodium bindings)
  ☆63Updated 9 months ago
• sdiehl / galois-field
  Finite field and algebraic extension field arithmetic
  ☆52Updated last year
• syallop / Join-Language
  Haskell Join-calculus DSL
  ☆24Updated 6 years ago
• ezyang / ghc-proposals
  Proposed compiler and language changes for GHC and GHC/Haskell
  ☆25Updated 8 years ago
• davidar / hs-ipfs-api
  A Haskell client library for the IPFS API
  ☆26Updated 8 years ago
• contivero / hasmin
  Hasmin - A Haskell CSS Minifier
  ☆57Updated last year
• tranma / empirical-big-oh
  Measure time complexity empirically.
  ☆48Updated 10 years ago
• raaz-crypto / raaz
  Cryptographic library for Haskell
  ☆69Updated 9 months ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated 8 months ago
• alphaHeavy / protobuf
  An implementation of Google's Protocol Buffers in Haskell.
  ☆96Updated 2 months ago
• eyeinsky / hfuse
  Haskell bindings for the FUSE library
  ☆27Updated last year
• tweag / linear-types
  Drafts, notes and resources for adding linear typing to GHC.
  ☆79Updated 5 years ago
• serokell / o-clock
  Type-safe time units in Haskell
  ☆50Updated 10 months ago
• mvv / data-elf
  ELF data structures for Haskell
  ☆24Updated 2 years ago
• ekmett / ersatz
  A monad for interfacing with external SAT solvers
  ☆65Updated 5 months ago
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆63Updated 4 years ago
• haskell / critbit
  A Haskell implementation of crit-bit trees.
  ☆140Updated 3 years ago