Statistics for language SMT

RepositoryStats tracks 579,528 Github repositories, of these 15 are reported to use a primary language of SMT.

Most starred repositories for language SMT (view more)

adafruit
Adafruit_CAD_Parts adafruit
205
1.1k
mit
74
CAD files for various boards, components and parts
Created 2018-03-19
341 commits to main branch, last one 2 days ago
cvc5
cvc5 cvc5
234
1.0k
other
37
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Created 2012-12-06
12,872 commits to main branch, last one 23 hours ago
SRI-CSL
yices2 SRI-CSL
47
371
gpl-3.0
25
The Yices SMT Solver
sat-solver smt-solver satisfiability theorem-prover satisfiability-modulo-theories
Created 2014-11-10
5,265 commits to master branch, last one 5 days ago
renaissance-benchmarks
renaissance renaissance-benchmarks
59
313
gpl-3.0
25
The Renaissance Benchmark Suite
java scala benchmark-suite jvm-performance
Created 2019-03-29
1,630 commits to master branch, last one 15 days ago
bitwuzla
bitwuzla bitwuzla
32
206
other
13
Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is ...
Created 2020-09-19
3,408 commits to main branch, last one a day ago
ONEARMY
precious-plastic-kit ONEARMY
53
168
unknown
38
Precious Plastic Downloadpack
Created 2016-03-18
74 commits to master branch, last one 2 years ago

Trending repositories for language SMT (view more)

Last 3 days (new repositories)
no newly created repositories trending in the last 3 days
Last 3 days (absolute gain)
awslabs
awslabs/rust-smt-ir

No description

35 (+1)
apache-2.0
Last 3 days (relative gain)
awslabs
awslabs/rust-smt-ir

No description

35 (+3%)
apache-2.0
Last week (new repositories)
no newly created repositories trending in the last week
Last week (absolute gain)
awslabs
awslabs/rust-smt-ir

No description

35 (+1)
apache-2.0
Last week (relative gain)
awslabs
awslabs/rust-smt-ir

No description

35 (+3%)
apache-2.0
Last month (new repositories)
no newly created repositories trending in the last month
Last month (absolute gain)
cvc5
cvc5/cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

1,033 (+16)
adafruit
adafruit/Adafruit_CAD_Parts

CAD files for various boards, components and parts

1,053 (+13)
mit
eth-sri
eth-sri/fastsmt

Learning to Solve SMT Formulas Fast

85 (+6)
apache-2.0
awslabs
awslabs/rust-smt-ir

No description

35 (+3)
apache-2.0
bitwuzla
bitwuzla/bitwuzla

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is ...

206 (+3)
Last month (relative gain)
awslabs
awslabs/rust-smt-ir

No description

35 (+9%)
apache-2.0
eth-sri
eth-sri/fastsmt

Learning to Solve SMT Formulas Fast

85 (+8%)
apache-2.0
PL-ML
PL-ML/code2inv

Code2Inv: Learning Loop Invariants for Program Verification

85 (+2%)
bitwuzla
bitwuzla/bitwuzla

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is ...

206 (+1%)
hopv
hopv/rust-horn

RustHorn: A CHC-based automated verifier for Rust

73 (+1%)
mit
Last 12-months (new repositories)
no newly created repositories trending in the last 12 months
Last 12-months (absolute gain)
cvc5
cvc5/cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

1,033 (+176)
adafruit
adafruit/Adafruit_CAD_Parts

CAD files for various boards, components and parts

1,053 (+161)
mit
bitwuzla
bitwuzla/bitwuzla

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is ...

206 (+78)
Boolector
Boolector/boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

335 (+46)
renaissance-benchmarks
renaissance-benchmarks/renaissance

The Renaissance Benchmark Suite

313 (+35)
gpl-3.0
Last 12-months (relative gain)
hopv
hopv/rust-horn

RustHorn: A CHC-based automated verifier for Rust

73 (+62%)
mit
bitwuzla
bitwuzla/bitwuzla

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is ...

206 (+61%)
eth-sri
eth-sri/fastsmt

Learning to Solve SMT Formulas Fast

85 (+27%)
apache-2.0
bzhan
bzhan/holpy

Implementation of higher-order logic in Python

57 (+24%)
bsd-3-clause
cvc5
cvc5/cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

1,033 (+21%)