DOFYPXY

University of California, San DiegoSan Diego, CA

Pinned Repositories

cairo-racket
A Cairo virtual machine implemented in Racket
Language:Racket00
cleopatra_cairo
Cleopatra Cairo is a Rust implementation of the Cairo VM. Cairo is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly. Cairo and similar proof systems can be used to provide scalability to blockchains.
Language:Rust00
dofypxy.github.io
Language:HTML00
generator-synthesis
0 1 00
minic-test-cases-2021f
Language:C00
My-CertoraParser
Language:Ruby0 1 00
personal-homepage
Language:Jupyter Notebook00
PKU-SoftwareFoundation2022-plf
Software Foundation Course (2022 Spring) in Peking University
Language:HTML0 1 00
RewriteCairoVMHints
Language:Python00
rust-resource-analysis
Language:F*0 2 00

DOFYPXY's Repositories

DOFYPXY/cairo-racket
A Cairo virtual machine implemented in Racket
Language:Racket00
DOFYPXY/cleopatra_cairo
Cleopatra Cairo is a Rust implementation of the Cairo VM. Cairo is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly. Cairo and similar proof systems can be used to provide scalability to blockchains.
Language:Rust00
DOFYPXY/dofypxy.github.io
Language:HTML00
DOFYPXY/generator-synthesis
0 1 00
DOFYPXY/minic-test-cases-2021f
Language:C00
DOFYPXY/My-CertoraParser
Language:Ruby0 1 00
DOFYPXY/personal-homepage
Language:Jupyter Notebook00
DOFYPXY/PKU-SoftwareFoundation2022-plf
Software Foundation Course (2022 Spring) in Peking University
Language:HTML0 1 00
DOFYPXY/RewriteCairoVMHints
Language:Python00
DOFYPXY/rust-resource-analysis
Language:F*0 2 00
DOFYPXY/SA2021_Project1
0 1 00
DOFYPXY/Spyro-temporal
Language:Python1 0