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
Sorting:
- A python module implementing the ElectionGuard specification. This implementation can be used to conduct End-to-End Verifiable Elections …☆167Dec 8, 2023Updated 2 years ago
- 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 port of electionguard-python to Java.☆11Dec 8, 2023Updated 2 years ago
- 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
- 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
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 9 years ago
- Ruby Hardware Description Language☆15Mar 13, 2013Updated 13 years ago
- Native Google Chrome extension for picture in picture mode. Supports Youtube, Twitch, Mixer, Netflix, Facebook and many other platforms.☆12Feb 3, 2019Updated 7 years ago
- A tool for translating imperative programs to CSP.☆13Feb 7, 2017Updated 9 years ago
- Minimal RISC-V Chisel design strictly reflecting the ISA document for verification.☆19Mar 4, 2026Updated 2 weeks ago
- ☆17Mar 15, 2023Updated 3 years ago
- A schema to utilize Bitcoin cryptocurrency for secure and simple electronic voting☆33May 31, 2022Updated 3 years ago
- ☆13Oct 30, 2020Updated 5 years ago
- Sets of Half-Average Nulls Generate Risk-Limiting Audits: tools for assertion-based risk-limiting election audits☆11Updated this week
- Create a custom GPT for your organization with file search. This demo shows how to create an assistant, set up a vector store, upload and…☆10May 23, 2024Updated last year
- Post-quantum Wireguard (Theory)☆13Sep 9, 2020Updated 5 years ago
- This repository contains a specification describing the ElectionGuard software development kit, including cryptographic protocols and imp…☆28Aug 28, 2024Updated last year
- Contains a regularly published and updated vulnerability database for Vulnerability Monitoring.☆43Updated this week
- Formal semantics of BSV (Bluespec SystemVerilog), given as a Haskell Program and accompanying document☆18Jul 17, 2016Updated 9 years ago
- ☆152Updated this week
- Assume-Guarantee REasoning Environment☆20Dec 3, 2025Updated 3 months ago
- Zeek network security monitor plugin that enables parsing of the BACnet standard building controls protocol☆30Apr 23, 2025Updated 10 months ago
- Add-ons for KDE PIM apps (KMail, KAddressBook etc.)☆14Mar 14, 2026Updated last week
- A minimal message queue☆11Dec 11, 2022Updated 3 years ago
- CLI implementation for Home Assistant☆17Updated this week
- ☆11Oct 19, 2024Updated last year
- script untuk memonitor perkembangan vaksinasi di Indonesia☆10Apr 27, 2021Updated 4 years ago
- 3rd Person RPG project with Unreal Engine 4.21.2☆11Nov 14, 2022Updated 3 years ago
- Software to facilitate risk-limiting audits at the state level, developed for the state of Colorado.☆22Nov 5, 2018Updated 7 years ago
- An implementation of Brakerski et al's "Fully homomorphic encryption without bootstrapping"☆11Apr 29, 2013Updated 12 years ago
- A JavaScript rules engine running in .NET 6 using the Jint library.☆10Feb 7, 2022Updated 4 years ago
- ☆21Mar 27, 2025Updated 11 months ago
- Django project to manage a Recalbox from a web interface☆13Sep 11, 2017Updated 8 years ago
- A prototype of XPath-like queries for C# syntax trees☆17Jun 1, 2024Updated last year
- Log PSRule analysis results to Azure Monitor.☆15Nov 12, 2025Updated 4 months ago
- ROS on Windows build pipelines☆20Mar 14, 2023Updated 3 years ago
- A quantum video game!☆34Jan 18, 2019Updated 7 years ago
- automated let's encrypt certificate renewal via certbot on an Asustor NAS box☆10Jun 30, 2021Updated 4 years ago