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 10 years ago
• cleichner / haskell-ipfs
  Haskell implementation of the InterPlanetary File System
  ☆14Updated 10 years ago
• amiller / lambda-auth
  authenticated data structures, generically
  ☆51Updated 8 years ago
• HACS-workshop / links
  Links to stuff arising from or related to the HACS workshop.
  ☆35Updated 7 years ago
• gstew5 / snarkl
  ☆59Updated 2 years ago
• amaloz / ae-generator
  Authenticated encryption scheme prover/synthesizer
  ☆15Updated 2 years ago
• GaloisInc / cryptol-semantics
  Semantics for Cryptol
  ☆16Updated 6 years ago
• coruus / ed448-goldilocks
  Mirror of http://sourceforge.net/p/ed448goldilocks/code/ci/master/tree/
  ☆33Updated 9 years ago
• GaloisInc / ICryptol
  IPython-style interaction for Cryptol
  ☆15Updated 8 years ago
• haskell-cryptography / cacophony
  A Haskell library implementing the Noise protocol.
  ☆98Updated 2 months ago
• ConsenSysMesh / Fae
  A functional smart contract system
  ☆6Updated 6 years ago
• pepeiborra / control-monad-exception
  Explicitly Typed exceptions as a library
  ☆22Updated 4 years ago
• scslab / hails
  The security-centric web platform framework
  ☆52Updated 8 years ago
• echatav / elliptic
  Elliptic Curve Cryptography in Haskell
  ☆13Updated last year
• sdiehl / double-ratchet
  Double ratchet algorithm for E2E encryption
  ☆59Updated 6 years ago
• multiformats / haskell-multihash
  Multihash Haskell implementation
  ☆27Updated last year
• ioptio / design
  ☆16Updated 9 years ago
• mguentner / nix-ipfs
  This repo is deprecated -> goto https://github.com/NixIPFS;
  ☆12Updated 8 years ago
• mitls / mitls-flex
  TLS implemented in f7
  ☆43Updated 8 years ago
• claimchain / claimchain-core
  A core and experimental implementation of ClaimChain
  ☆34Updated 6 years ago
• statebox / bcfwm
  Blockchain Technology for the Working Mathematician
  ☆24Updated 7 years ago
• GaloisInc / cryfsm
  convert simple cryptol expressions into finite-state machines
  ☆20Updated 7 years ago
• keybase / pgp-utils
  Various crypto utilities for dealing with MACs, Signatures, and PGP message formats.
  ☆30Updated 6 years ago
• cyberphone / web2native-bridge
  Web2Native Bridge emulator for Chrome and Firefox (Desktop)
  ☆10Updated last year
• froozen / kademlia
  A haskell library implementing the Kademlia DHT
  ☆43Updated 6 years ago
• ku-fpg / hermit
  Haskell Equational Reasoning Model-to-Implementation Tunnel
  ☆48Updated 2 years ago
• liqd / thentos
  A tool for privacy-preserving identity management (PPIM)
  ☆56Updated 8 years ago
• meiersi / scyther-proof
  A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
  ☆16Updated 9 years ago
• Yawning / sphincs256
  SPHINCS-256 practical stateless hash-based signature scheme
  ☆26Updated 8 years ago
• Inria-Prosecco / proscript-messaging
  Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…
  ☆36Updated 2 years ago