sdiehl / double-ratchet

Related projects ⓘ

Alternatives and complementary repositories for double-ratchet

• froozen / kademlia
  A haskell library implementing the Kademlia DHT
  ☆43Updated 5 years ago
• NicolasT / kontiki
  An implementation of the Raft consensus protocol
  ☆122Updated last year
• corsis / clock
  High-resolution clock functions: monotonic, realtime, cputime.
  ☆58Updated last year
• liqd / thentos
  A tool for privacy-preserving identity management (PPIM)
  ☆56Updated 7 years ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆100Updated last year
• danr / hipspec
  A hip inductive theorem prover!
  ☆88Updated 3 years ago
• acid-state / safecopy
  An extension to Data.Serialize with built-in version control
  ☆60Updated 6 months ago
• vindaloo-thesis / idris-se
  Idris to Serpent back end for Ethereum smart contracts
  ☆32Updated 7 years ago
• serokell / time-warp
  Distributed systems execution emulation
  ☆18Updated 5 years ago
• hsyl20 / haskus-system
  ☆27Updated 5 years ago
• SimonJF / IdrisNet2
  A proper network library for Idris, now that I know what I'm doing.
  ☆57Updated 8 years ago
• bos / bloomfilter
  A fast Haskell Bloom filter library.
  ☆60Updated last year
• tweag / linear-types
  Drafts, notes and resources for adding linear typing to GHC.
  ☆75Updated 4 years ago
• roman / Haskell-capataz
  OTP-like supervision trees in Haskell
  ☆62Updated 5 years ago
• dfinity-side-projects / winter
  Haskell port of the WebAssembly OCaml reference interpreter
  ☆46Updated last year
• vincenthz / hs-memory
  haskell memory
  ☆48Updated last year
• evertedsphere / rien
  Predictable Haskell development environments with Cabal and Nix.
  ☆65Updated 5 years ago
• liamoc / patches-vector
  A library for patches (diffs) on vectors: composable, mergeable and invertible
  ☆54Updated 6 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
• ekmett / auth
  ☆40Updated 6 years ago
• kim / leveldb-haskell
  Haskell bindings to LevelDB (https://github.com/google/leveldb)
  ☆66Updated 5 months ago
• roman / Haskell-etc
  Declarative configuration spec for Haskell projects
  ☆47Updated 5 years ago
• thsutton / aeson-diff
  Generate and apply diffs between JSON documents.
  ☆39Updated 2 years ago
• sdiehl / zurihac-crypto
  Small minimal examples of modern cryptographic techniques in Haskell
  ☆79Updated 4 years ago
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆51Updated 8 years ago
• kazu-yamamoto / dns
  DNS libary in Haskell
  ☆64Updated 5 months ago
• goldfirere / effects
  A Haskell translation of Idris's original algebraic effects library
  ☆41Updated 8 years ago
• sdiehl / shamir
  Shamir Secret Sharing
  ☆19Updated 4 years ago
• composewell / compact-list
  An append only list in a compact region
  ☆25Updated 6 years ago