StarkWare's next gen prover
Rust
502
1,100 commits
updated Sep 21, 2026
(top 30 of 37)
256 commits
194 commits
159 commits
137 commits
starkware-libs/papyrus
Papyrus is a StarkNet full node written in Rust.
323
FrozenWinters/stlc
This aims to be the most pretentious implementation of stlc in existence
67
pysathq/pysat
A toolkit for SAT-based prototyping in Python
461
frenetic-lang/frenetic
The Frenetic Programming Language and Runtime System
229
tonera/vitoom
AI productivity tools
9
daly/axiom
Axiom is a free, open source computer algebra system
395
project-oak/silveroak
Formal specification and verification of hardware, especially for security and privacy.
133
Lao6tu/TSFMs-Benchmark
TSFMs-Benchmark
0
99.7%
