Eion Blanchard's 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.
Language:PythonMIT000
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.
Language:HTMLMIT000
ElectionGuardVerifier.jl
MITRE Election Guard Verifier
Language:JuliaMIT000
qdk-python
Python packages for the Microsoft Quantum Development Kit (QDK)
Language:PythonMIT000
quantum-docs
Public repo for /azure/quantum
Language:PowerShellCC-BY-4.0000
sine-presburger
Computations and visualizations for Presburger arithmetic extended by the sine function.