Alternatives and similar repositories for d-voting

Users that are interested in d-voting are comparing it to the libraries listed below

• jasmin-lang / jasmin
  Language for high-assurance and high-speed cryptography
  ☆302Updated last week
• symbolicsoft / verifpal
  Cryptographic protocol analysis for real-world protocols.
  ☆54Updated 11 months ago
• dedis / columbus-united
  📦➿📦➿📦 Intuitive and insightful blockchain explorer 🔎
  ☆18Updated 2 years ago
• tamarin-prover / tamarin-prover
  Main source code repository of the Tamarin prover for security protocol verification.
  ☆468Updated last month
• EasyCrypt / easycrypt
  EasyCrypt: Computer-Aided Cryptographic Proofs
  ☆359Updated this week
• iyzhang / misogyny
  A tracker for misogyny issues in tech
  ☆137Updated last year
• felixlinker / tamarin-workshop
  A 2-4h workshop on the Tamarin protocol verifier.
  ☆21Updated 2 months ago
• GaloisInc / cryptol
  Cryptol: The Language of Cryptography
  ☆1,174Updated this week
• tamarin-pq3 / tamarin-pq3
  The formal proofs for iMessage PQ3 using the Tamarin Prover
  ☆18Updated 4 months ago
• secure-foundations / owl
  Compositional Verification of Security Protocols
  ☆17Updated last week
• REPROSEC / dolev-yao-star
  DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code
  ☆17Updated last year
• vehicle-lang / vehicle
  A toolkit for enforcing logical specifications on neural networks
  ☆108Updated this week
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆114Updated this week
• viperproject / gobra
  Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
  ☆134Updated this week
• cryspen / hacl-packages
  The Cryspen HACL Distribution
  ☆18Updated 3 months ago
• marvinborner / birb
  *cheep cheep shriek caw*
  ☆93Updated last year
• kemtls / Tamarin-multi-stage-model
  Tamarin proof for the KEMTLS protocol using the multi-stage AKE model
  ☆13Updated 2 years ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆73Updated last month
• rspeer / scholar.hasfailed.us
  Google Scholar is a trans-exclusionary site. Don't use it. Help us demand change.
  ☆23Updated last year
• cedar-policy / cedar-spec
  Definitional implementation of Cedar language and utilities for DRT
  ☆124Updated last week
• GaloisInc / cryptol-specs
  Specifications of cryptographic algorithms in Cryptol
  ☆41Updated this week
• argumentcomputer / RustFFI.lean
  Template for Lean<->Rust FFI
  ☆13Updated last year
• SSProve / ssprove
  A foundational framework for modular cryptographic proofs in Coq
  ☆66Updated this week
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆120Updated this week
• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆63Updated 10 months ago
• glondu / belenios
  Verifiable online voting system. This is a mirror of https://gitlab.com/vcast.vote/belenios
  ☆139Updated last month
• cpeikert / Lol
  Λ ⚬ λ: Functional Lattice Cryptography
  ☆231Updated 4 years ago
• NicklasBoto / funQ
  Functional Quantum Programming
  ☆19Updated 4 years ago
• asuhl-ucsd / shellLL
  The world's first (and hopefully last) pure-bash implementation of the LLL algorithm
  ☆17Updated last year
• lurk-lab / lurk-beta
  Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact:…
  ☆445Updated 5 months ago