zhihan/tapl
Public repository.
Developer Profile
zhihan
Discovered public repositories for zhihan in the GitHub catalog.
zhihan/ocaml-discrete-optimization
Public repository.
zhihan/dataflow
Dependency analysis for dataflow language and imperative language.
zhihan/syssim
Systematic simulation of Simulink models in Matlab
zhihan/minisat-scala
A Scala implementation of MiniSAT
zhihan/bdd-scala
Public repository.
zhihan/checkmate
CheckMate: a hybrid system verification tool for Matlab
zhihan/MDO-Toolbox
Multi-Disciplinary Design Optimization MATLAB toolbox