ElectionGuard Web API in python to demonstrate usage of electionguard-python in performing ballot encryption, casting, spoiling, and tallying.
☆37Aug 2, 2023Updated 2 years ago
Alternatives and similar repositories for electionguard-api-python
Users that are interested in electionguard-api-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 monorepo in React & Typescript consisting of an api client, components, and apps to demonstrate examples of user interface …☆19Jul 19, 2023Updated 2 years ago
- A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.☆19Jun 21, 2015Updated 10 years ago
- A C++ implementation of ElectionGuard specification focused on encryption components.☆25Sep 3, 2024Updated last year
- 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
- Ready or Not...☆50Feb 3, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Common data format specification for cast vote records☆21Jan 21, 2025Updated last year
- An auth0Pulumi resource package, providing multi-language access to Auth0☆25Updated this week
- Library to manage knowledge and create prompts to support OpenAI generative AI scenarios☆32Feb 11, 2026Updated 3 months ago
- ☆17Mar 15, 2023Updated 3 years ago
- ☆13Oct 30, 2020Updated 5 years ago
- Ironclad C++ brings type-safety to C++. It provides safe alternatives to unsafe constructs in C++ to prevent type-safety errors that lea…☆19Jun 21, 2023Updated 2 years ago
- Formal verification tools for Chisel and RISC-V☆14Mar 29, 2026Updated last month
- Learn the Design of a 6-stage pipelined RISC-V CPU☆16Oct 22, 2025Updated 6 months ago
- Asynchronous and more versatile replacement of posix_spawn☆24Jul 1, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- OpenMZ, a security kernel for RISC-V targeting secure coprocessors and secure embedded systems.☆14Jun 26, 2020Updated 5 years ago
- Manga downloader based on tachiyomi extensions☆10Apr 20, 2021Updated 5 years ago
- Sets of Half-Average Nulls Generate Risk-Limiting Audits: tools for assertion-based risk-limiting election audits☆12May 4, 2026Updated 2 weeks ago
- ScalaTest plugin for Scala IDE☆41Jul 4, 2020Updated 5 years ago
- ACCESSIBLE ELECTRONIC VOTING SYSTEM☆16Jun 22, 2019Updated 6 years ago
- This repository contains a specification describing the ElectionGuard software development kit, including cryptographic protocols and imp…☆28Aug 28, 2024Updated last year
- ☆21Aug 1, 2015Updated 10 years ago
- A Tamarin model and analysis of EMV contactless☆15Feb 16, 2021Updated 5 years ago
- Contains a regularly published and updated vulnerability database for Vulnerability Monitoring.☆46Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Assume-Guarantee REasoning Environment☆25Dec 3, 2025Updated 5 months ago
- Add-ons for KDE PIM apps (KMail, KAddressBook etc.)☆14Updated this week
- A minimal message queue☆11Dec 11, 2022Updated 3 years ago
- Control of a group or single Samsung Multiroom Speakers in SmartThings☆14Apr 21, 2020Updated 6 years ago
- CLI implementation for Home Assistant☆17May 4, 2026Updated 2 weeks ago
- A JavaScript rules engine running in .NET 6 using the Jint library.☆10Feb 7, 2022Updated 4 years ago
- vCard Import and Export for The Insidious Big Brother Database (BBDB)☆24Oct 10, 2021Updated 4 years ago
- ☆19Aug 30, 2020Updated 5 years ago
- A prototype of XPath-like queries for C# syntax trees☆17Jun 1, 2024Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆19Mar 18, 2025Updated last year
- High-level overview on exam topics.☆13Jan 24, 2026Updated 3 months ago
- 🎧 gPodder Integration for Podcast Feed Monitoring☆15Jun 5, 2021Updated 4 years ago
- Rust-like language compiling directly to WebAssembly☆15Sep 14, 2025Updated 8 months ago
- Leaflet GeoJSON Encoded☆12Jan 8, 2016Updated 10 years ago
- RISC-V port of LLVM Linker☆24Aug 3, 2018Updated 7 years ago
- ☆15Aug 10, 2020Updated 5 years ago