andrewmilson / sandstorm

Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)

andrewmilson
andrewmilson
Date Created 2022-11-27 (2 years ago)
Commits 157 (last one 2 months ago)
Stargazers 159 (0 this week)
Watchers 6 (0 this week)
Forks 23
License mit
Ranking

RepositoryStats indexes 633,155 repositories, of these andrewmilson/sandstorm is ranked #222,094 (65th percentile) for total stargazers, and #289,882 for total watchers. Github reports the primary language for this repository as Rust, for repositories using this language it is ranked #6,313/18,468.

Other Information

andrewmilson/sandstorm has 3 open pull requests on Github, 2 pull requests have been merged over the lifetime of the repository.

Github issues are enabled, there are 6 open issues and 4 closed issues.

Star History

Github stargazers over time

16016014014012012010010080806060404020200020232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Watcher History

Github watchers over time, collection started in '23

7777666666555520232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Recent Commit History

157 commits on the default branch (main) since jan '22

16016014014012012010010080806060404020200020232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Yearly Commits

Commits to the default branch (main) per year

4545404035353030252520201515101055002022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
101099887766554433221100Mar '23Mar '23May '23May '23Jul '23Jul '23Aug '23Aug '23Oct '23Oct '23Dec '23Dec '23Feb '24Feb '24Apr '24Apr '24Jun '24Jun '24Aug '24Aug '24Oct '24Oct '24Dec '24Dec '24Feb '25Feb '25

Languages

The primary language is Rust but there's also others...

RustRustPythonPythonCairoCairo

updated: 2025-03-25 @ 05:03pm, id: 571162343 / R_kgDOIgs-5w