Alternatives and similar repositories for double-ratchet

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

• composewell / compact-list

  View on GitHub
  An append only list in a compact region
  ☆25Sep 6, 2018Updated 7 years ago
• cstrahan / hs-capnp

  View on GitHub
  This will, one day, be a Haskell implementation of Cap'n Proto.
  ☆11Feb 21, 2016Updated 9 years ago
• rampion / kinder-functor

  View on GitHub
  An alternate definition of Haskell's Functor typeclass
  ☆42Jun 18, 2019Updated 6 years ago
• LeastAuthority / haskell-spake2

  View on GitHub
  SPAKE2 key exchange protocol for Haskell
  ☆14May 24, 2023Updated 2 years ago
• tfausak / grotesque

  View on GitHub
  An implementation of GraphQL in Haskell.
  ☆21Jun 17, 2017Updated 8 years ago
• robrix / abstract-interpretation

  View on GitHub
  Experiments in abstracting definitional interpreters
  ☆16Oct 13, 2017Updated 8 years ago
• tel / hotep

  View on GitHub
  "Fail Fast" process management for Haskell; inspired by Erlang
  ☆16Jan 19, 2017Updated 9 years ago
• sdiehl / schnorr-nizk

  View on GitHub
  Schnorr Protocol for Non-interactive Zero-Knowledge Proofs
  ☆76Feb 10, 2020Updated 6 years ago
• frerich / catamorphism

  View on GitHub
  A package exposing a function for generating catamorphisms.
  ☆29Apr 15, 2018Updated 7 years ago
• serokell / time-warp

  View on GitHub
  Distributed systems execution emulation
  ☆18Nov 28, 2018Updated 7 years ago
• sdiehl / shamir

  View on GitHub
  Shamir Secret Sharing
  ☆21Nov 27, 2019Updated 6 years ago
• gatlin / psilo

  View on GitHub
  a parallel, safe, iterative list operation language for systems programming
  ☆16Jul 9, 2020Updated 5 years ago
• thoughtpolice / claap

  View on GitHub
  "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)
  ☆13Mar 31, 2017Updated 8 years ago
• thoughtpolice / asc

  View on GitHub
  Austin's supercompiler work
  ☆21Nov 17, 2019Updated 6 years ago
• GaloisInc / cryfsm

  View on GitHub
  convert simple cryptol expressions into finite-state machines
  ☆22Sep 15, 2017Updated 8 years ago
• discus-lang / salt

  View on GitHub
  The compilation target that functional programmers always wanted.
  ☆62Aug 2, 2020Updated 5 years ago
• jship / tao

  View on GitHub
  Type-level assertion operators
  ☆16Mar 20, 2018Updated 7 years ago
• csabahruska / jhc-grin

  View on GitHub
  GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)
  ☆16Dec 13, 2018Updated 7 years ago
• seagreen / llvm-in-haskell

  View on GitHub
  Merged into ian repo: https://github.com/seagreen/ian#llvm-in-haskell
  ☆17Apr 13, 2019Updated 6 years ago
• jwiegley / haskell-to-c

  View on GitHub
  Sample code to build a C library from a Haskell module, then call it from C
  ☆16Jun 22, 2017Updated 8 years ago
• wereHamster / nauva

  View on GitHub
  ☆14Sep 24, 2017Updated 8 years ago
• puffnfresh / eta-android

  View on GitHub
  Quick example of Eta on Android
  ☆24May 24, 2017Updated 8 years ago
• kowainik / treap

  View on GitHub
  Efficient implementation of the implicit treap data structure
  ☆63Aug 2, 2021Updated 4 years ago
• jonascarpay / convoluted

  View on GitHub
  Dependently typed convolutional neural networks
  ☆35May 10, 2017Updated 8 years ago
• leptonyu / tensors

  View on GitHub
  Tensors in Haskell
  ☆40Feb 3, 2026Updated last week
• LeventErkok / sbvPlugin

  View on GitHub
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆46Jan 12, 2026Updated last month
• tweag / hyperion

  View on GitHub
  A lab for future Criterion features.
  ☆28Jan 9, 2019Updated 7 years ago
• valderman / ghc-simple

  View on GitHub
  Simplified interface to the GHC API
  ☆22Apr 4, 2019Updated 6 years ago
• nomeata / containers-verified

  View on GitHub
  A package re-exporting the verified subset of containers
  ☆20Jun 18, 2018Updated 7 years ago
• roberth / np

  View on GitHub
  The Complete Nix Project Management Tool
  ☆17Mar 11, 2017Updated 8 years ago
• rahulmutt / eta-servant-example

  View on GitHub
  Example of using the servant web framework in Eta
  ☆16Feb 5, 2018Updated 8 years ago
• derekelkins / ads

  View on GitHub
  Authenticated Data Structures
  ☆16Jul 5, 2015Updated 10 years ago
• sdiehl / oblivious-transfer

  View on GitHub
  Oblivious transfer for multiparty computation
  ☆37Feb 25, 2020Updated 5 years ago
• sdiehl / pairing

  View on GitHub
  Optimised bilinear pairings over elliptic curves
  ☆56Feb 3, 2024Updated 2 years ago
• waivio / cl3

  View on GitHub
  Haskell Library implementing standard functions for the Algebra of Physical Space Cl(3,0)
  ☆57Apr 10, 2022Updated 3 years ago
• thautwarm / RSolve

  View on GitHub
  Ask for solutions.
  ☆19Aug 5, 2019Updated 6 years ago
• nfrisby / coxswain

  View on GitHub
  A GHC type checker plugin for row types
  ☆39Oct 7, 2017Updated 8 years ago
• travitch / haggle

  View on GitHub
  An efficient graph library for Haskell
  ☆41Aug 26, 2025Updated 5 months ago
• k0001 / umzug

  View on GitHub
  This project is dead. See https://gitlab.com/k0001/moto for its reincarnation.
  ☆17Apr 19, 2019Updated 6 years ago