Yanju Chen (@chyanju)
github

chyanju

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    77
  • Global Rank 246,025 (Top 9 %)
  • Followers 28
  • Following 6
  • Registered about 11 years ago
  • Most used languages
    Python
         33.3 %
    Racket
         22.2 %
    Jupyter Notebook
         22.2 %
    Yul     11.1 %
    Circom     11.1 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 57,287
  • Country Ranking
    Circom     2
    Yul     4
    Racket
         114
    Jupyter Notebook
         7,987

Top repositories

1

Picus

Automated verification of uniqueness property for ZKP circuits
Circom
36
star
2

__archived__Medjai

A Symbolic Execution Tool for Cairo
Racket
15
star
3

ReSySeVR

Fixing SySeVR.
Jupyter Notebook
10
star
4

MARS-Dataset

dataset and related scripts for MARS
Python
4
star
5

__achived__Venti

Verifying Smart Contracts via Yul
Yul
3
star
6

Poe

Visualization Question Answering Using Introspective Program Synthesis
Python
2
star
7

zhash

Lifted Racket Hash for Rosette
Racket
1
star
8

SolInv

An RL Solution for Invariant Synthesis in Solidity
Jupyter Notebook
1
star
9

__archived__pip-cairo-lang

Cairo Pip Package with Symbolic Support
Python
1
star