awesomo4000 / awesome-provable

A curated set of links to formal methods involving provable code.

Date Created 2017-11-10 (7 years ago)
Commits 16 (last one 3 years ago)
Stargazers 200 (0 this week)
Watchers 10 (0 this week)
Forks 9
License unknown
Ranking

RepositoryStats indexes 618,350 repositories, of these awesomo4000/awesome-provable is ranked #185,445 (70th percentile) for total stargazers, and #209,610 for total watchers.

Other Information

awesomo4000/awesome-provable has Github issues enabled, there is 1 open issue and 1 closed issue.

Star History

Github stargazers over time

2002001801801601601401401201201001008080606040402020002018201820192019202020202021202120222022202320232024202420252025

Watcher History

Github watchers over time, collection started in '23

10101010999999888820232023Feb '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

0 commits on the default branch (master) since jan '22

Inactive

No recent commits to this repository

Yearly Commits

Commits to the default branch (master) per year

9988776655443322110020172017201820182019201920202020202120212022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
222211111100002021202120222022202320232024202420252025

Languages

We don't have any language data for this repository

It's a mystery

updated: 2025-02-18 @ 01:05am, id: 110240346 / R_kgDOBpIiWg