Pinned Repositories
boogie
Boogie
Compiler
Compiler Design
dafny
Dafny is a verification-aware programming language
FileSystem
File System Design
FStar
Verification system for effectful programs
MIPSSimulator
MIPS Simulator
ProvBuild
ProvBuild: Improving Data Scientist Efficiency with Provenance
PythonGame
Python Game Design
Quadcopter
Quadcopter Comtrol System Design
rose6icse
jingmeihu's Repositories
jingmeihu/Compiler
Compiler Design
jingmeihu/ProvBuild
ProvBuild: Improving Data Scientist Efficiency with Provenance
jingmeihu/boogie
Boogie
jingmeihu/dafny
Dafny is a verification-aware programming language
jingmeihu/FileSystem
File System Design
jingmeihu/FStar
Verification system for effectful programs
jingmeihu/MIPSSimulator
MIPS Simulator
jingmeihu/PythonGame
Python Game Design
jingmeihu/Quadcopter
Quadcopter Comtrol System Design
jingmeihu/rose6icse
jingmeihu/z3
The Z3 Theorem Prover