ElectionGuard Web API in python to demonstrate usage of electionguard-python in performing ballot encryption, casting, spoiling, and tallying.
☆37Aug 2, 2023Updated 3 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:
- A python module implementing the ElectionGuard specification. This implementation can be used to conduct End-to-End Verifiable Elections …☆169Jul 9, 2026Updated 3 months ago
- A port of electionguard-python to Java.☆11Dec 8, 2023Updated 2 years ago
- ElectionGuard is a set of open source software components that can be used to create and publish end to end verifiable elections as well …☆878Jun 10, 2026Updated 4 months ago
- This repository implements the ElectionGuard API using C#. It includes all major functions of the ElectionGuard SDK, including key ceremo…☆34Jul 23, 2020Updated 6 years ago
- A suite of rules to validate Kubernetes resources using PSRule.☆20Mar 18, 2026Updated 7 months 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.
- The ElectionGuard SDK Reference Verifier enables the verification of election ballots, tallies, and proofs generated by the ElectionGuard…☆44Jun 6, 2022Updated 4 years ago
- Homebrew Tap for Microsoft's Git projects.☆27Oct 20, 2026Updated last week
- A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.☆20Jun 21, 2015Updated 11 years ago
- Hadoop interface for Xiaomi Open Storage☆13Apr 10, 2023Updated 3 years ago
- Makes it easier to comb through Apple's OTA updates.☆13Feb 6, 2024Updated 2 years ago
- A shell script that translates strings of characters and sends them to a VirtualBox guest☆18Nov 8, 2018Updated 7 years ago
- CocoaPods plugin for downloading Universal Packages from Azure Artifacts feeds.☆12May 16, 2024Updated 2 years ago
- Models for authenticated key exchange in Tamarin☆12Oct 9, 2019Updated 7 years ago
- Control Mi Home devices, such as Mi Robot Vacuums, Mi Air Purifiers, Mi Smart Home Gateway (Aqara) and more☆14Jun 11, 2019Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆13Mar 7, 2023Updated 3 years ago
- npm801☆15Jun 29, 2018Updated 8 years ago
- Common data format specification for cast vote records☆21Jan 21, 2025Updated last year
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 10 years ago
- These are simple utilities to manipulate Virtual Hard Disks (VHD/VHDX) from the command line.☆18Oct 1, 2021Updated 5 years ago
- Structural (non-cryptographic) Python implementation of the Avalanche algorithm by TeamRocket☆15May 21, 2018Updated 8 years ago
- ☆10Feb 13, 2016Updated 10 years ago
- Generating fun Stack Exchange questions using Markov chains☆25Mar 29, 2026Updated 7 months ago
- ☆13Oct 30, 2020Updated 6 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Tamarin models for Bluetooth secure pairing protocols: Passkey Entry (PE) and Numeric comparison (NC)☆11May 3, 2024Updated 2 years ago
- VS code extension: Deploy To Azure, which helps set up CI/CD for deployment to Azure Resources.☆18Apr 12, 2022Updated 4 years ago
- collection of code snippets to assist working on cocalc☆10Jul 20, 2023Updated 3 years ago
- ETNA CLI is a command line interface that allows you to interact with the ETNA Benchmarking and Analysis Platform. It provides a set of c…☆15Oct 21, 2026Updated last week
- Persist and retrieve linked metadata with media content.☆12Mar 13, 2018Updated 8 years ago
- Private Identity Claim System with Zero-Knowledge for DarkForest.eth☆11May 15, 2022Updated 4 years ago
- Android SDK for Xiaomi File Data Storage.☆18Apr 10, 2023Updated 3 years ago
- Formal verification tools for Chisel and RISC-V☆15Mar 29, 2026Updated 7 months ago
- Post-quantum Wireguard (Theory)☆13Sep 9, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Zeek network security monitor plugin that enables parsing of the BACnet standard building controls protocol☆31Apr 23, 2025Updated last year
- SwiftLinuxBLE is a lightweight convenience wrapper for the PureSwift BluetoothLinux library. It enables you to very quickly create a BLE …☆11Oct 10, 2019Updated 7 years ago
- A minimal message queue☆11Dec 11, 2022Updated 3 years ago
- Occam's razor for Claude Code and Codex: a 30-line rule set. Benchmarks vs base: 51-55% lower estimated task cost on Opus/Sonnet 5.5 max …☆17Sep 29, 2026Updated last month
- convert simple cryptol expressions into finite-state machines☆22Sep 15, 2017Updated 9 years ago
- A JavaScript rules engine running in .NET 6 using the Jint library.☆10Feb 7, 2022Updated 4 years ago
- A Go implementation of ElectricSQL's Durable Streams primitive☆16Aug 8, 2026Updated 2 months ago