| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| cvc5/cvc5 | SMTC++Java | 846 | +20 | 203 | 0 |
| facebook/infer | OCamlSMTJava | 14.4k | +14 | 2.2k | +1 |
| MystenLabs/sui | RustMoveTypeScript | 5.2k | +9 | 12.1k | -3 |
| dafny-lang/dafny | C#DafnyJava | 2.5k | +6 | 236 | +2 |
| ucsd-progsys/liquid-fixpoint | HaskellSMTOther | 116 | +1 | 54 | 0 |
| adafruit/Adafruit_CAD_Parts | SMT | 882 | +1 | 196 | 0 |
| diem/move | RustMoveSMT | 304 | 0 | 131 | 0 |
| diem/diem | RustJavaScriptSMT | 16.7k | 0 | 2.6k | 0 |
| EVM-SMT/solver | NixRustShell | 67 | 0 | 2 | 0 |
| viperproject/silicon | ScalaBoogieSMT | 64 | 0 | 27 | 0 |
| move-language/move | RustMoveSMT | 2k | 0 | 590 | 0 |
| Boolector/boolector | SMTCC++ | 282 | 0 | 54 | 0 |
| CyZooNiC/cyberdeck | SMT | 112 | 0 | 7 | 0 |
| bitwuzla/bitwuzla | SMTC++Meson | 124 | 0 | 19 | 0 |
| leonardoalt/yools | SMTRustYul | 133 | 0 | 4 | 0 |
| artgobblers/art-gobblers | SolidityPythonSMT | 417 | 0 | 54 | 0 |
| ezyang/SMT-LIB-benchmarks-pytorch-shapes | SMT | 16 | 0 | 0 | 0 |
| SRI-CSL/yices2 | SMTCShell | 341 | 0 | 41 | 0 |
| giuspek/FormalMethods2023 | SMTPython | 3 | 0 | 8 | 0 |
| filipeom/queries | SMT | 0 | 0 | 0 | 0 |