A python module implementing the ElectionGuard specification. This implementation can be used to conduct End-to-End Verifiable Elections as well as privacy-enhanced risk-limiting audits.
☆167Dec 8, 2023Updated 2 years ago
Alternatives and similar repositories for electionguard-python
Users that are interested in electionguard-python are comparing it to the libraries listed below
Sorting:
- ElectionGuard Web API in python to demonstrate usage of electionguard-python in performing ballot encryption, casting, spoiling, and tall…☆37Aug 2, 2023Updated 2 years ago
- A C++ implementation of ElectionGuard specification focused on encryption components.☆25Sep 3, 2024Updated last year
- ElectionGuard monorepo in React & Typescript consisting of an api client, components, and apps to demonstrate examples of user interface …☆19Jul 19, 2023Updated 2 years ago
- Core codebase of ElectionGuard 2.0☆14Feb 26, 2026Updated 3 weeks ago
- Helios Server (Helios is an end-to-end verifiable voting system) as library☆13Nov 12, 2018Updated 7 years ago
- Cryptographic library written in JavaScript. Created at UZH as a part of an E-Voting project.☆14Jan 24, 2023Updated 3 years ago
- Verifiable online voting system. This is a mirror of https://gitlab.com/vcast.vote/belenios☆145Updated this week
- ElGamal encryption and related zero-knowledge proofs☆17Dec 23, 2025Updated 2 months ago
- VoteSecure, Free & Fair's core cryptographic library for the Mobile Voting Project☆62Feb 7, 2026Updated last month
- This repository implements the ElectionGuard API using C#. It includes all major functions of the ElectionGuard SDK, including key ceremo…☆34Jul 23, 2020Updated 5 years ago
- the independent voting booth for Helios☆17May 18, 2021Updated 4 years ago
- Template repository for CCF apps☆17Feb 12, 2026Updated last month
- Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.☆10Jan 24, 2026Updated last month
- Pairing operations over the BLS12-381 elliptic curve in Haskell☆14Feb 18, 2022Updated 4 years ago
- A historically accurate Enigma Machine simulator written in Python 3.☆13Dec 30, 2025Updated 2 months ago
- Sample applications for the Confidential Consortium Framework (CCF)☆20Feb 12, 2026Updated last month
- ☆11Nov 29, 2017Updated 8 years ago
- ZKPs in Cryptographic Voting☆16Sep 15, 2019Updated 6 years ago
- test framework☆11Jun 2, 2021Updated 4 years ago
- A map of relationships among cryptographic primitives☆12Dec 17, 2018Updated 7 years ago
- "course registration system with payment method" is a system that students can enroll their courses and pay their course fee in online(vi…☆11Aug 30, 2021Updated 4 years ago
- ☆13Jul 14, 2025Updated 8 months ago
- A library to manage your Decentralized Identities and Verified IDs on Android.☆26Jan 26, 2026Updated last month
- XML/XSLT processing in the browser, supported by a Typescript library☆10Feb 18, 2025Updated last year
- This is a package developed in the Mesoscience Lab to perform Hierarchy of Pure State (HOPS) calculations using an adaptive basis that pr…☆16Oct 29, 2025Updated 4 months ago
- ☆11Dec 13, 2014Updated 11 years ago
- strace to json parser☆38Feb 14, 2019Updated 7 years ago
- ☆11Sep 22, 2017Updated 8 years ago
- An independent implementation of the Powers of Tau MPC ceremony.☆33Mar 13, 2018Updated 8 years ago
- Developer documentation for EMF APIs☆14May 29, 2024Updated last year
- DHI: High-Performance, WebAssembly-Powered TypeScript Validator☆15Sep 2, 2025Updated 6 months ago
- Unreal tools to provide a stable coordinate system anchored to the physical world.☆14Apr 11, 2023Updated 2 years ago
- Formalisation of the linear lambda calculus in Coq☆10Dec 2, 2018Updated 7 years ago
- Metagov's Govbase landing page☆14Oct 27, 2023Updated 2 years ago
- Formalization in Coq of algorithms used in compilers for the Compiler.org project☆15Dec 22, 2018Updated 7 years ago
- Sync distributed sets using bloom filters☆26Nov 4, 2021Updated 4 years ago
- ☆13Jun 12, 2024Updated last year
- Model Based Systems Engineering productivity tool to automatically create and manage changes in Cameo MagicDraw models utilizing user-def…☆32Aug 25, 2023Updated 2 years ago
- Forlab is a Fortran module that provides a lot of functions for scientific computing mostly inspired by Matlab and Python's package NumPy…☆13Mar 5, 2018Updated 8 years ago