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

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

Date Created 2023-11-18 (10 months ago)

Commits 27 (last one 2 months ago)

Stargazers 45 (0 this week)

Watchers 4 (0 this week)

Forks 1

License unknown

Ranking

RepositoryStats indexes 565,600 repositories, of these GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification is ranked #475,560 (16th percentile) for total stargazers, and #366,616 for total watchers.

GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification is also tagged with popular topics, for these it's ranked: awesome (#2,553/2769), awesome-list (#2,541/2751), ethereum (#1,777/2134)

Other Information

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

All Topics

awesome ethereum awesome-list blockchain-security

Star History

Github stargazers over time

Watcher History

Github watchers over time, collection started in '23

Recent Commit History

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

Yearly Commits

Commits to the default branch (main) per year

Issue History

Languages

We don't have any language data for this repository

It's a mystery

updated: 2024-09-17 @ 05:17pm, id: 720551727 / R_kgDOKvK_Lw