-
-
CASM-Verify Public
Forked from rutgers-apl/CASM-VerifyAutomatic functional verification tool for assembly implementation of cryptographic algorithms
Python UpdatedDec 12, 2023 -
-
-
homebrew-core Public
Forked from Homebrew/homebrew-core🍻 Default formulae for the missing package manager for macOS (or Linux)
Ruby BSD 2-Clause "Simplified" License UpdatedMar 27, 2022 -
dqmsl-search-translation Public
Translate names in DQMSL Search to Chinese
-
-
homebrew Public
Forked from Homebrew/legacy-homebrewThe missing package manager for OS X.
Ruby UpdatedSep 11, 2012