Alternatives and similar repositories for evoting-systems:

Users that are interested in evoting-systems are comparing it to the libraries listed below

• dedis / cosi
  CoSi command line interface
  ☆21Updated 8 years ago
• tfaoliveira / libjc
  ☆19Updated 2 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
• SSSaaS / sssaas-cli
  Command line client for splitting secrets using Shamir's Secret Sharing Algorithm
  ☆15Updated 8 years ago
• dedis / paper_chainiac
  Implementation and simulations for "CHAINIAC: Proactive Software-Update Transparency via Collectively Signed Skipchains and Verified Buil…
  ☆23Updated 3 years ago
• amiller / redblackmerkle
  An authenticated data structure based on a red-black tree.
  ☆54Updated 9 years ago
• cwgoes / tm-proposer-idris
  Formalization of Tendermint proposer election properties
  ☆15Updated 6 years ago
• pirapira / dry-analyzer
  Dr. Y's Ethereum Contract Analyzer
  ☆41Updated 3 years ago
• gstew5 / snarkl
  ☆59Updated 3 years ago
• Yawning / sphincs256
  SPHINCS-256 practical stateless hash-based signature scheme
  ☆26Updated 8 years ago
• claimchain / claimchain-core
  A core and experimental implementation of ClaimChain
  ☆34Updated 6 years ago
• applied-mixnetworks / mixbib
  Mix Network Bibliography
  ☆15Updated 5 years ago
• pylls / balloon
  A forward-secure append-only persistent authenticated data structure
  ☆15Updated 8 years ago
• coniks-sys / coniks-spec
  CONIKS design documents
  ☆16Updated 8 years ago
• tezos / optimal_stack
  Compiler for stack manipulation in Michelson
  ☆14Updated 6 years ago
• gregtatcam / imaplet-lwt
  imaplet revamp with Lwt
  ☆19Updated 7 years ago
• hannesm / conex
  establish trust in community repositories, cryptographically signed by library authors
  ☆33Updated 5 months ago
• tendermint / merkleeyes
  DEPRECATED: Merkle-ized data store
  ☆46Updated 5 years ago
• mariaschett / ppltr
  A PoPuLaToR for a PeePhoLe opTimizeR
  ☆12Updated 3 years ago
• fab13n / lamtez
  An ML-inspired smart contract language, compiling to Tezos' Michelson VM
  ☆22Updated 7 years ago
• shimmercat / second-transfer
  A library for creating HTTP/2 servers in Haskell.
  ☆9Updated 7 years ago
• pepper-project / pepper
  A system for verifying outsourced computations. This repo always contains the latest release of the Pepper system.
  ☆62Updated 6 years ago
• trevp / keyname
  Keyname format for public-key fingerprints
  ☆22Updated 10 years ago
• kadena-io / masala
  Standalone Ethereum Virtual Machine
  ☆51Updated 3 years ago
• keyfender / keyfender
  Secure HSM implementation based on MirageOS
  ☆37Updated 2 years ago
• katzenpost / server
  library for implementing the server side of the mix network: mixes and providers
  ☆26Updated 2 years ago
• guardtime / libksi
  KSI C SDK
  ☆14Updated 9 months ago
• tezos / tezoscoq
  working with coq and tezos
  ☆28Updated 7 years ago
• google / pyrios
  ☆60Updated 7 years ago
• brownie / cashlib
  ZKPDL & cashlib: A language-based system for zero-knowledge proofs and electronic cash (e-cash).
  ☆54Updated 9 years ago