Shuo Ding's repositories
cvm.experimental
An interpreter, a scheduler, and a garbage collector
cbmc
C Bounded Model Checker
Language:C++NOASSERTION000
clang-checks
See CLANG_CHECKS_README.md for details.
NOASSERTION000
ecc
an easy-to-use parser generator (compiler-compiler)
MIT000
formalizing-Featherweight-X10
proving the absence of deadlocks
mutual-refinement
For CFL-reachability-based program analysis
p2p-tree
A peer-to-peer (P2P) group message application based on TCP
Language:Python000
Language:Haskell000
Language:Racket000
Language:Java000
Language:Go000