mht208's repositories
homebrew-formal
Homebrew formulae for formal methods
dqmsl-search-translation
Translate names in DQMSL Search to Chinese
CASM-Verify
Automatic functional verification tool for assembly implementation of cryptographic algorithms
Language:Python000
Language:CoqApache-2.0000
Language:Coq000
homebrew
The missing package manager for OS X.
Language:Ruby000
homebrew-core
🍻 Default formulae for the missing package manager for macOS (or Linux)
Language:RubyBSD-2-Clause000