GianfrancoBazzani / awesome-advanced-smart-contracts-testing-and-verification

A curated collection of tools, frameworks, and methodologies for testing and verifying Solidity smart contracts.

GianfrancoBazzani
GianfrancoBazzani
Date Created 2023-11-18 (about a year ago)
Commits 27 (last one 8 months ago)
Stargazers 69 (0 this week)
Watchers 4 (0 this week)
Forks 1
License unknown
Ranking

RepositoryStats indexes 641,700 repositories, of these GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification is ranked #399,507 (38th percentile) for total stargazers, and #369,121 for total watchers.

GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification is also tagged with popular topics, for these it's ranked: awesome (#2,499/3045),  awesome-list (#2,471/3010),  ethereum (#1,497/2260)

Other Information

GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification has Github issues enabled, there are 15 open issues and 7 closed issues.

Star History

Github stargazers over time

707060605050404030302020101000Dec '23Dec '2320242024Feb '24Feb '24Mar '24Mar '24Apr '24Apr '24May '24May '24Jun '24Jun '24Jul '24Jul '24Aug '24Aug '24Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25Mar '25Mar '25Apr '25Apr '25

Watcher History

Github watchers over time, collection started in '23

4444443.53.5333333Dec '23Dec '2320242024Feb '24Feb '24Mar '24Mar '24Apr '24Apr '24May '24May '24Jun '24Jun '24Jul '24Jul '24Aug '24Aug '24Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25Mar '25Mar '25Apr '25Apr '25

Recent Commit History

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

303025252020151510105500Dec '23Dec '2320242024Feb '24Feb '24Mar '24Mar '24Apr '24Apr '24May '24May '24Jun '24Jun '24Jul '24Jul '24Aug '24Aug '24Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25Mar '25Mar '25Apr '25Apr '25

Yearly Commits

Commits to the default branch (main) per year

141412121010886644220020242024

Issue History

Total Issues
Open Issues
Closed Issues
2525202015151010550020242024Feb '24Feb '24Mar '24Mar '24Apr '24Apr '24May '24May '24Jun '24Jun '24Jul '24Jul '24Aug '24Aug '24Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25Mar '25Mar '25Apr '25Apr '25

Languages

We don't have any language data for this repository

It's a mystery

updated: 2025-04-19 @ 10:39am, id: 720551727 / R_kgDOKvK_Lw