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 port of electionguard-python to Java.☆11Dec 8, 2023Updated 2 years ago
- The ElectionGuard SDK Reference Verifier enables the verification of election ballots, tallies, and proofs generated by the ElectionGuard…☆44Jun 6, 2022Updated 4 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 6 years ago
- A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.☆20Jun 21, 2015Updated 11 years ago
- Models for authenticated key exchange in Tamarin☆12Oct 9, 2019Updated 6 years 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.
- Ruby Hardware Description Language☆15Mar 13, 2013Updated 13 years ago
- ☆13Updated this week
- Proof of concept code for VoteAgain paper☆10Jul 23, 2023Updated 3 years ago
- ☆15Feb 27, 2019Updated 7 years ago
- Manga downloader based on tachiyomi extensions☆10Apr 20, 2021Updated 5 years ago
- Smart Lock controller☆12Jul 27, 2017Updated 9 years ago
- The source for Red Hat's Icon Font.☆17Jan 22, 2024Updated 2 years ago
- ACCESSIBLE ELECTRONIC VOTING SYSTEM☆16Jun 22, 2019Updated 7 years ago
- Code generator and library for calling/serving Twirp services in Rust using prost and hyper☆22Apr 1, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Zeek network security monitor plugin that enables parsing of the BACnet standard building controls protocol☆31Apr 23, 2025Updated last year
- Formal semantics of BSV (Bluespec SystemVerilog), given as a Haskell Program and accompanying document☆17Jul 17, 2016Updated 10 years ago
- Contains a regularly published and updated vulnerability database for Vulnerability Monitoring.☆47Updated this week
- ☆11Jul 28, 2026Updated last week
- A Tamarin model and analysis of EMV contactless☆15Feb 16, 2021Updated 5 years ago
- intermediate repository used by weblate - translations repository has the files used by LibreOffice☆15Updated this week
- A JavaScript rules engine running in .NET 6 using the Jint library.☆10Feb 7, 2022Updated 4 years ago
- An implementation of Brakerski et al's "Fully homomorphic encryption without bootstrapping"☆11Apr 29, 2013Updated 13 years ago
- Windows Privilege Escalation (Modified RottePotato)☆13Jun 5, 2018Updated 8 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Coq formalization accompanying the paper: Micro-Policies: A Framework for Verified, Tag-Based Security Monitors☆20Sep 23, 2019Updated 6 years ago
- Quickly switch between SMS and iMessage☆14Dec 21, 2015Updated 10 years ago
- Software to facilitate risk-limiting audits at the state level, developed for the state of Colorado.☆23Nov 5, 2018Updated 7 years ago
- ☆18Jul 12, 2024Updated 2 years ago
- 🎧 gPodder Integration for Podcast Feed Monitoring☆15Jun 5, 2021Updated 5 years ago
- Presentation for PowerShell + DevOps Global Summit, 2019☆10Apr 30, 2019Updated 7 years ago
- ☆12Jul 5, 2023Updated 3 years ago
- vCard Import and Export for The Insidious Big Brother Database (BBDB)☆24Oct 10, 2021Updated 4 years ago
- Rust-like language compiling directly to WebAssembly☆15Sep 14, 2025Updated 10 months 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.
- An Java to C# Converter. It is Designed to load .java classes and convert them into C# code. Not perfectly, but also while ignoring error…☆18Dec 8, 2022Updated 3 years ago
- Observable JavaScript object model☆18Jun 9, 2021Updated 5 years ago
- ☆19Aug 30, 2020Updated 5 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 2 years ago
- As a digital marketing company, we have actually driven numerous web site hits, millions of leads as well as also millions of sales. So i…☆12Nov 9, 2020Updated 5 years ago
- UPPERSAFE Open Source Firewall☆24Dec 8, 2022Updated 3 years ago
- Zeek network security monitor plugin that enables parsing of the S7 protocol☆42May 30, 2024Updated 2 years ago