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:
- A python module implementing the ElectionGuard specification. This implementation can be used to conduct End-to-End Verifiable Elections …☆167Apr 13, 2026Updated 2 weeks 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 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Ethereum Network Stats "Classic"☆24Aug 14, 2019Updated 6 years ago
- Models for authenticated key exchange in Tamarin☆12Oct 9, 2019Updated 6 years ago
- Teamcity torrent plugin☆18Feb 8, 2024Updated 2 years ago
- mutant standard style graphics of real trains☆15Aug 19, 2024Updated last year
- Common data format specification for cast vote records☆21Jan 21, 2025Updated last year
- Emoji font builder☆27Jun 12, 2023Updated 2 years ago
- Ruby Hardware Description Language☆15Mar 13, 2013Updated 13 years ago
- A pure python implementation of the Snappy compression algorithm.☆18Sep 29, 2021Updated 4 years ago
- A tool for translating imperative programs to CSP.☆13Feb 7, 2017Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Zeek network security monitor plugin that enables parsing of the Tabular Data Stream (TDS) protocol☆25May 30, 2024Updated last year
- Proof of concept code for VoteAgain paper☆10Jul 23, 2023Updated 2 years ago
- A schema to utilize Bitcoin cryptocurrency for secure and simple electronic voting☆33May 31, 2022Updated 3 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
- ModbusTCP Fuzzing and DoS Tool.☆11Aug 8, 2020Updated 5 years ago
- OpenMZ, a security kernel for RISC-V targeting secure coprocessors and secure embedded systems.☆14Jun 26, 2020Updated 5 years ago
- A Python script to speech some text with Google Translate.☆23Aug 1, 2013Updated 12 years ago
- 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
- 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.
- Post-quantum Wireguard (Theory)☆13Sep 9, 2020Updated 5 years ago
- ☆21Aug 1, 2015Updated 10 years ago
- A Tamarin model and analysis of EMV contactless☆15Feb 16, 2021Updated 5 years ago
- Formal semantics of BSV (Bluespec SystemVerilog), given as a Haskell Program and accompanying document☆18Jul 17, 2016Updated 9 years ago
- Assume-Guarantee REasoning Environment☆22Dec 3, 2025Updated 4 months ago
- ☆11Oct 19, 2024Updated last year
- 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
- Spanish syllable separator in javascript☆19Apr 6, 2015Updated 11 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆18Jul 12, 2024Updated last year
- A JavaScript rules engine running in .NET 6 using the Jint library.☆10Feb 7, 2022Updated 4 years ago
- ☆23Mar 21, 2026Updated last month
- ☆19Aug 30, 2020Updated 5 years ago
- A prototype of XPath-like queries for C# syntax trees☆17Jun 1, 2024Updated last year
- Presentation for PowerShell + DevOps Global Summit, 2019☆10Apr 30, 2019Updated 7 years ago
- Rust-like language compiling directly to WebAssembly☆15Sep 14, 2025Updated 7 months ago