| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| facebook/infer | OCamlSMTJava | 13.9k | +11 | 1.9k | +2 |
| cvc5/cvc5 | SMTC++OpenEdge ABL | 758 | +5 | 186 | 0 |
| diem/move | RustMoveSMT | 266 | 0 | 117 | 0 |
| diem/diem | RustJavaScriptSMT | 16.7k | 0 | 2.6k | 0 |
| EVM-SMT/solver | NixRustShell | 66 | 0 | 2 | 0 |
| viperproject/silicon | ScalaBoogieSMT | 53 | 0 | 25 | 0 |
| move-language/move | RustMoveSMT | 1.8k | 0 | 488 | 0 |
| Boolector/boolector | SMTCC++ | 262 | 0 | 51 | 0 |
| ucsd-progsys/liquid-fixpoint | HaskellSMTOther | 109 | 0 | 50 | 0 |
| adafruit/Adafruit_CAD_Parts | SMT | 800 | 0 | 179 | 0 |
| CyZooNiC/cyberdeck | SMT | 108 | 0 | 6 | 0 |
| bitwuzla/bitwuzla | SMTCC++ | 88 | 0 | 14 | 0 |
| leonardoalt/yools | SMTRustYul | 115 | 0 | 4 | 0 |
| code-423n4/2022-09-artgobblers | SolidityPythonSMT | 19 | 0 | 9 | 0 |
| artgobblers/art-gobblers | SolidityPythonSMT | 418 | 0 | 51 | 0 |
| ezyang/SMT-LIB-benchmarks-pytorch-shapes | SMT | 17 | 0 | 0 | 0 |
| SRI-CSL/yices2 | SMTCShell | 320 | 0 | 41 | 0 |
| giuspek/FormalMethods2023 | SMTPython | 2 | 0 | 6 | 0 |