barrettcw
Follow
-
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
SMT Other UpdatedApr 23, 2025 -
SMT-LIB-2 Public
Forked from SMT-LIB/SMT-LIB-2Public reference documents for the SMT-LIB standard
TeX UpdatedFeb 25, 2025 -
-
-
-
Diem’s mission is to enable a simple global payment system and financial infrastructure that empowers billions of people.
Rust Apache License 2.0 UpdatedJan 8, 2022 -
-
modern_design Public
Repository for working on Stanford class on modern design
Verilog UpdatedApr 22, 2017 -
homebrew-boneyard Public
Forked from necromant2005/homebrew-boneyard💀 Archive of formulae removed from the Homebrew package manager
Ruby Other UpdatedMay 31, 2016