Skip to content
View chyanju's full-sized avatar
🤔
🤔
32 followers · 6 following

Achievements

Achievement: Pull Sharkx2Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Organizations

@UCSB-PLSE

Block or report chyanju

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. Poe Poe Public

    Visualization Question Answering Using Introspective Program Synthesis

    Python 2

  2. Hecate Hecate Public

    Forked from uwplse/iag-synthesis

    Tree Traversal Synthesis Using Domain-Specific Symbolic Compilation

    HTML 5 1

  3. Trinity-Edge Trinity-Edge Public

    Exploring faster deployments of Trinity.

    Python 1

  4. Veridise/Eurus Veridise/Eurus Public

    Precise Attack Synthesis for DeFi Apps

    Racket 46 3

  5. Picus Picus Public

    Automated verification of uniqueness property for ZKP circuits

    Circom 41 10