Home Original page

spernsteiner - Overview

@spernsteiner

spernsteiner

Follow

View spernsteiner's full-sized avatar

Block or report spernsteiner

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. electionguard-verifier electionguard-verifier Public

    Forked from Election-Tech-Initiative/electionguard-verifier

    The ElectionGuard SDK Reference Verifier enables the verification of election ballots, tallies, and proofs generated by the ElectionGuard SDK

    Rust

  2. coq_serapy coq_serapy Public

    Forked from HazardousPeach/coq_serapy

    Python bindings for Coq Serapi. Primarily designed for use in Proverbot9001. Works for Coq versions 8.9-8.12.

    Python