Giters
Yanju Chen (chyanju)

chyanju

Geek Repo

30

followers

6

following

16

stars

Company:University of California, Santa Barbara

Location:United States

Home Page:https://sites.cs.ucsb.edu/~yanju/

Github PK Tool:Github PK Tool

Organizations
UCSB-PLSE

Yanju Chen's repositories

Picus

Automated verification of uniqueness property for ZKP circuits

Language:CircomLicense:MITStargazers:37Issues:5Issues:0

__archived__Medjai

A Symbolic Execution Tool for Cairo

Language:RacketLicense:GPL-3.0Stargazers:16Issues:4Issues:0

ReSySeVR

Fixing SySeVR.

Language:Jupyter NotebookStargazers:10Issues:3Issues:2

Hecate

Tree Traversal Synthesis Using Domain-Specific Symbolic Compilation

Language:HTMLLicense:MITStargazers:5Issues:0Issues:0

MARS-Dataset

dataset and related scripts for MARS

Language:PythonStargazers:4Issues:1Issues:0

__achived__Venti

Verifying Smart Contracts via Yul

Language:YulLicense:MITStargazers:3Issues:3Issues:0

Poe

Visualization Question Answering Using Introspective Program Synthesis

Language:PythonLicense:MITStargazers:2Issues:1Issues:0

__archived__pip-cairo-lang

Cairo Pip Package with Symbolic Support

Language:PythonStargazers:1Issues:4Issues:0

__archived__zhash

Lifted Racket Hash for Rosette

Language:RacketLicense:MITStargazers:1Issues:1Issues:0

SolInv

An RL Solution for Invariant Synthesis in Solidity

Language:Jupyter NotebookLicense:MITStargazers:1Issues:1Issues:0

Trinity-Edge

Exploring faster deployments of Trinity.

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

__archived__IMP-DFA-test-suite

The dataset repository for IMP DFA testcases for CS260, winter 2019.

Stargazers:0Issues:1Issues:0

__archived__MarthaEnv

Static Analysis Guided Interactive Environment for Android

Language:Jupyter NotebookStargazers:0Issues:6Issues:0

__archived__Nattie

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

__archived__tapas4poe

End-to-end neural table-text understanding models.

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

__archived__tiny-rosette-zkfv

Language:RacketLicense:MITStargazers:0Issues:0Issues:0

__archived__zksolid-benchmarks

License:MITStargazers:0Issues:1Issues:0

autopandas

OOPSLA 2019 Artifact for AutoPandas. Website at https://rbavishi.github.io/autopandas

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

awesome-aleo

🏎️ A curated list of Aleo & Leo code and resources 🏎️

Stargazers:0Issues:0Issues:0

Ecne

Ecne: An engine for verifying the soundness of R1CS constraints

Language:JuliaLicense:GPL-3.0Stargazers:0Issues:0Issues:0

FlowDroid-dd7d44

FlowDroid Static Data Flow Tracker

Language:JavaLicense:LGPL-2.1Stargazers:0Issues:0Issues:0

GPP_commit_analysis

Language:Jupyter NotebookStargazers:0Issues:0Issues:0

LoopAnalysis

scratchy scripts on Solidity loop analysis

Language:Jupyter NotebookStargazers:0Issues:1Issues:0

pyConcurrentAVL

maybe a course project

Language:Jupyter NotebookStargazers:0Issues:2Issues:0

servo

The Servo Browser Engine

License:MPL-2.0Stargazers:0Issues:0Issues:0

some-deadlines

Some research deadlines

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

SootTutorial

A step-by-step tutorial for Soot (a Java static analysis framework)

Language:JavaLicense:GPL-3.0Stargazers:0Issues:0Issues:0

ucsb-cs8-f18.github.io

CS8 Fall 18 website

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

utils

some utils

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

VisQA-release

Language:PythonStargazers:0Issues:0Issues:0