Skip to content
View eionblanc's full-sized avatar
1 follower · 1 following
  • University of Illinois at Urbana-Champaign
  • Urbana, IL

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Block or report eionblanc

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

Pinned Loading

  1. sine-presburger sine-presburger Public

    Computations and visualizations for Presburger arithmetic extended by the sine function.

    Jupyter Notebook

  2. electionguard-python electionguard-python Public

    Forked from Election-Tech-Initiative/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.

    Python

  3. muraliadithya/mini-sygus muraliadithya/mini-sygus Public

    a constraint-based syntax-guided synthesis (SyGuS) engine

    Python 9

  4. qdk-python qdk-python Public

    Forked from microsoft/azure-quantum-python

    Python packages for the Microsoft Quantum Development Kit (QDK)

    Python