Topic Hub
#proofs (5 Repositories)
Ranked open-source repositories tagged with #proofs, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
31.3%
Avg Review Latency
68.4h
Filter by language
5 repositories tagged #proofs
A TierOCOCaml 921 2 GFIs
AeneasVerif/aeneas
A verification toolchain for Rust programs
72.1%
Merge Rate
18h
First Review
63%
1st-Timers
26
Maintainers
B TierOCOCaml 519
FStarLang/karamel
KaRaMeL is a tool for extracting low-level F* programs to readable C code
84.3%
Merge Rate
13d
First Review
75%
1st-Timers
2
Maintainers
D TierC++ 325
hoytech/quadrable
Authenticated multi-version database: sparse binary merkle tree with compact partial-tree proofs
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers
D TierScala 111
gapt/gapt
GAPT: General Architecture for Proof Theory
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers
D TierJava 2.0k
nayuki/Project-Euler-solutions
Runnable code for solving Project Euler problems in Java, Python, Mathematica, Haskell.
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers