Pinned Repositories
electionguard-python
A python module implementing the ElectionGuard specification. This implementation can be used to conduct End-to-End Verifiable Elections as well as privacy-enhanced risk-limiting audits.
electionguard-schema
ElectionGuard is a set of open source software components that can be used to create and publish end to end verifiable elections as well create a publishable artifact for ballot comparison audits.
ElectionGuardVerifier.jl
MITRE Election Guard Verifier
qdk-python
Python packages for the Microsoft Quantum Development Kit (QDK)
quantum-docs
Public repo for /azure/quantum
RunDMCMC
Monte-Carlo exploration of districting plans
sine-presburger
Computations and visualizations for Presburger arithmetic extended by the sine function.
azure-quantum-python
The azure-quantum python package submits jobs to the Azure Quantum service.
ElectionGuardVerifier.jl
MITRE Election Guard Verifier
mini-sygus
a constraint-based syntax-guided synthesis (SyGuS) engine
eionblanc's Repositories
eionblanc/electionguard-python
A python module implementing the ElectionGuard specification. This implementation can be used to conduct End-to-End Verifiable Elections as well as privacy-enhanced risk-limiting audits.
eionblanc/electionguard-schema
ElectionGuard is a set of open source software components that can be used to create and publish end to end verifiable elections as well create a publishable artifact for ballot comparison audits.
eionblanc/ElectionGuardVerifier.jl
MITRE Election Guard Verifier
eionblanc/qdk-python
Python packages for the Microsoft Quantum Development Kit (QDK)
eionblanc/quantum-docs
Public repo for /azure/quantum
eionblanc/RunDMCMC
Monte-Carlo exploration of districting plans
eionblanc/sine-presburger
Computations and visualizations for Presburger arithmetic extended by the sine function.