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.
☆169Dec 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
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 port of electionguard-python to Java.☆11Dec 8, 2023Updated 2 years ago
- This repository contains a specification describing the ElectionGuard software development kit, including cryptographic protocols and imp…☆28Aug 28, 2024Updated last year
- ☆152Updated this week
- Cryptographic library written in JavaScript. Created at UZH as a part of an E-Voting project.☆14Jan 24, 2023Updated 3 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Common data format specification for voter records interchange data☆15Nov 8, 2021Updated 4 years ago
- ElGamal encryption and related zero-knowledge proofs☆17Updated this week
- 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
- Template repository for CCF apps☆17Feb 12, 2026Updated last month
- Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.☆10Jan 24, 2026Updated 2 months ago
- Rocksdb implementation in golang based on Leveldb☆11Nov 8, 2014Updated 11 years ago
- Pairing operations over the BLS12-381 elliptic curve in Haskell☆14Feb 18, 2022Updated 4 years ago
- Sample applications for the Confidential Consortium Framework (CCF)☆20Feb 12, 2026Updated last month
- ZKPs in Cryptographic Voting☆16Sep 15, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Persistent through COM Hijacking☆22Jan 15, 2019Updated 7 years ago
- test framework☆11Jun 2, 2021Updated 4 years ago
- A map of relationships among cryptographic primitives☆12Dec 17, 2018Updated 7 years ago
- ☆11Jan 6, 2020Updated 6 years ago
- Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.☆14Aug 11, 2025Updated 7 months ago
- A library to manage your Decentralized Identities and Verified IDs on Android.☆27Jan 26, 2026Updated 2 months ago
- ☆16Jan 16, 2026Updated 2 months ago
- Moana implementation in OCaml☆16Jul 15, 2015Updated 10 years ago
- 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 5 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 💻 All the resources you'll need to begin your Stellar project.☆12Feb 17, 2023Updated 3 years ago
- ☆11Dec 13, 2014Updated 11 years ago
- strace to json parser☆38Feb 14, 2019Updated 7 years ago
- ☆11Sep 22, 2017Updated 8 years ago
- Verifying the SCION architecture using Gobra☆11Apr 2, 2026Updated last week
- quickCUE creates compliant CUE files from 1001tracklists or custom track lists☆11Jul 23, 2025Updated 8 months ago
- A suite of rules to validate Kubernetes resources using PSRule.☆20Mar 18, 2026Updated 3 weeks ago
- Developer documentation for EMF APIs☆14Updated this week
- general functions for your data .pipe()-lines.☆17Nov 8, 2023Updated 2 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Formalisation of the linear lambda calculus in Coq☆10Dec 2, 2018Updated 7 years ago
- Formalization in Coq of algorithms used in compilers for the Compiler.org project☆15Dec 22, 2018Updated 7 years ago
- Use cases for ShadeMap API☆12Jun 10, 2024Updated last year
- a PostgreSQL extension that allows you to set quotas on connections (per user, database or IP)☆13Dec 12, 2014Updated 11 years ago
- Metagov's Govbase landing page☆14Oct 27, 2023Updated 2 years ago
- Control Mi Home devices, such as Mi Robot Vacuums, Mi Air Purifiers, Mi Smart Home Gateway (Aqara) and more☆14Jun 11, 2019Updated 6 years ago
- ☆67Sep 18, 2025Updated 6 months ago