Alternatives and similar repositories for e2eviv

Users that are interested in e2eviv are comparing it to the libraries listed below

• trevp / keyname
  Keyname format for public-key fingerprints
  ☆22Updated 11 years ago
• cleichner / haskell-ipfs
  Haskell implementation of the InterPlanetary File System
  ☆14Updated 10 years ago
• haskell-cryptography / cacophony
  A Haskell library implementing the Noise protocol.
  ☆100Updated 5 months ago
• sdiehl / double-ratchet
  Double ratchet algorithm for E2E encryption
  ☆59Updated 6 years ago
• mguentner / nix-ipfs
  This repo is deprecated -> goto https://github.com/NixIPFS;
  ☆12Updated 8 years ago
• richo / groundstation
  Decentralised gossip driven data sharing for the 21st century.
  ☆59Updated last year
• GaloisInc / tower
  A concurrency framework for the Ivory language
  ☆43Updated 5 years ago
• ConsenSysMesh / Fae
  A functional smart contract system
  ☆6Updated 6 years ago
• amiller / lambda-auth
  authenticated data structures, generically
  ☆52Updated 8 years ago
• gstew5 / snarkl
  ☆59Updated 3 years ago
• liqd / thentos
  A tool for privacy-preserving identity management (PPIM)
  ☆56Updated 8 years ago
• hacspec / hacspec-python
  Please check out https://github.com/hacspec/hacspec for more information on hacspec
  ☆46Updated 4 years ago
• HACS-workshop / links
  Links to stuff arising from or related to the HACS workshop.
  ☆34Updated 7 years ago
• GaloisInc / ec2-unikernel
  Tool for uploading unikernels into EC2
  ☆76Updated 6 years ago
• amaloz / ae-generator
  Authenticated encryption scheme prover/synthesizer
  ☆15Updated 2 years ago
• robur-coop / conex
  establish trust in community repositories, cryptographically signed by library authors
  ☆33Updated last month
• mitls / mitls-flex
  TLS implemented in f7
  ☆43Updated 8 years ago
• kadena-io / masala
  Standalone Ethereum Virtual Machine
  ☆52Updated 3 years ago
• GaloisInc / ICryptol
  IPython-style interaction for Cryptol
  ☆15Updated 8 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆44Updated 10 years ago
• mstone / soutei
  a logic-based trust-management system
  ☆19Updated 12 years ago
• froozen / kademlia
  A haskell library implementing the Kademlia DHT
  ☆43Updated 6 years ago
• ioptio / design
  ☆16Updated 9 years ago
• meiersi / scyther-proof
  A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
  ☆16Updated 10 years ago
• bkirwi / ethereum-haskell
  An independent reimplementation of Ethereum in Haskell
  ☆81Updated 10 years ago
• koalaman / pack
  Haskell implementation of gzip-compatible `pack` compression from the early 1980s
  ☆39Updated 7 years ago
• mirleft / btc-pinata
  If you smash it, you get to keep the pieces.
  ☆29Updated 5 years ago
• javert2 / JaVerT2.0
  JaVerT2.0 - Compositional Symbolic Execution for JavaScript
  ☆19Updated 5 years ago
• scslab / hails
  The security-centric web platform framework
  ☆52Updated 8 years ago
• buildsome / buildsome
  Buildsome: The awesome build system
  ☆53Updated 2 years ago