Yun-Sheng Chang's repositories
Language:JavaApache-2.0000
000
Language:CNOASSERTION000
Language:Go000
goose
Goose converts a small subset of Go to Coq
Language:GoMIT000
Language:Verilog000
Language:Emacs Lisp000
perennial
Verifying concurrent crash-safe systems
Language:CoqMIT000
py-tpcc
Python implementation of TPC-C
000
Language:CNOASSERTION000
Language:HTMLMIT000
vanillabench
The benchmarks for testing VanillaCore.
Language:JavaApache-2.0000
vanillacore
The core engine of VanillaDB
Language:JavaApache-2.0000
Language:HTML000