newca12 / awesome-rust-formalized-reasoning

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

Date Created 2021-04-10 (3 years ago)
Commits 285 (last one 6 days ago)
Stargazers 320 (1 this week)
Watchers 14 (0 this week)
Forks 11
License mit
Ranking

RepositoryStats indexes 619,220 repositories, of these newca12/awesome-rust-formalized-reasoning is ranked #131,713 (79th percentile) for total stargazers, and #157,357 for total watchers.

newca12/awesome-rust-formalized-reasoning is also tagged with popular topics, for these it's ranked: rust (#2,253/7594)

Star History

Github stargazers over time

35035030030025025020020015015010010050500020222022Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Watcher History

Github watchers over time, collection started in '23

141413.513.5131312.512.5121211.511.5111110.510.510109.59.59920232023Feb '23Feb '23Apr '23Apr '23Jun '23Jun '23Aug '23Aug '23Oct '23Oct '23Dec '23Dec '23Feb '24Feb '24Apr '24Apr '24Jun '24Jun '24Aug '24Aug '24Oct '24Oct '24Dec '24Dec '24Feb '25Feb '25

Recent Commit History

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

200200180180160160140140120120100100808060604040202000Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Yearly Commits

Commits to the default branch (main) per year

90908080707060605050404030302020101000202120212022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
1111110.50.5000000Aug '24Aug '24Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25

Languages

We don't have any language data for this repository

It's a mystery

updated: 2025-02-23 @ 09:01am, id: 356686425 / R_kgDOFUKaWQ