Alternatives and similar repositories for e2eviv

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

• haskell-cryptography / cacophony
  A Haskell library implementing the Noise protocol.
  ☆104Updated last year
• amaloz / ae-generator
  Authenticated encryption scheme prover/synthesizer
  ☆15Updated 3 years ago
• cleichner / haskell-ipfs
  Haskell implementation of the InterPlanetary File System
  ☆14Updated 11 years ago
• trevp / keyname
  Keyname format for public-key fingerprints
  ☆22Updated 11 years ago
• richo / groundstation
  Decentralised gossip driven data sharing for the 21st century.
  ☆60Updated 2 years ago
• GaloisInc / ICryptol
  IPython-style interaction for Cryptol
  ☆15Updated 9 years ago
• kadena-io / masala
  Standalone Ethereum Virtual Machine
  ☆52Updated 4 years ago
• gstew5 / snarkl
  ☆59Updated 3 years ago
• sdiehl / double-ratchet
  Double ratchet algorithm for E2E encryption
  ☆59Updated 7 years ago
• froozen / kademlia
  A haskell library implementing the Kademlia DHT
  ☆43Updated 7 years ago
• 1984not-GmbH / molch
  An implementation of the axolotl ratchet based on libsodium.
  ☆23Updated 3 years ago
• amiller / lambda-auth
  authenticated data structures, generically
  ☆55Updated 9 years ago
• imichaelmiers / libforwardsec
  ☆58Updated 8 years ago
• Yawning / sphincs256
  SPHINCS-256 practical stateless hash-based signature scheme
  ☆26Updated 9 years ago
• buildsome / buildsome
  Buildsome: The awesome build system
  ☆54Updated 3 years ago
• GaloisInc / ec2-unikernel
  Tool for uploading unikernels into EC2
  ☆77Updated 7 years ago
• sinahab / shamir-secret-sharing
  Shamir secret sharing in Haskell.
  ☆15Updated 8 years ago
• davidar / hs-ipfs-api
  A Haskell client library for the IPFS API
  ☆26Updated 8 years ago
• asn-d6 / flute
  Secure multiparty messaging (kindof)
  ☆21Updated 9 years ago
• scslab / hails
  The security-centric web platform framework
  ☆53Updated 9 years ago
• hacspec / hacspec-python
  Please check out https://github.com/hacspec/hacspec for more information on hacspec
  ☆47Updated 5 years ago
• meiersi / scyther-proof
  A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
  ☆17Updated 10 years ago
• mvv / data-elf
  ELF data structures for Haskell
  ☆24Updated 2 years ago
• bkirwi / ethereum-haskell
  An independent reimplementation of Ethereum in Haskell
  ☆81Updated 10 years ago
• mlswg / mls-architecture
  MLS architecture
  ☆75Updated 9 months ago
• jml / difftodo
  Turns diffs into todo lists by parsing comments
  ☆31Updated 5 years ago
• LeastAuthority / haskell-spake2
  SPAKE2 key exchange protocol for Haskell
  ☆14Updated 2 years ago
• edwinb / Protocols
  A DSL for describing and implementing communication protocols
  ☆84Updated 11 years ago
• ioptio / design
  ☆14Updated 10 years ago
• diekmann / Iptables_Semantics
  Verified iptables Firewall Ruleset Analysis
  ☆99Updated last year