Developer tools & open source

DependableSystemsLab/SolidiFI-benchmark

Public crypto repository written primarily in Python.

Imported listing
01 / What it does

What it does

DependableSystemsLab/SolidiFI-benchmark is a public GitHub repository with Python as its primary reported language. GitHub reports 80 stars and 23 forks at the latest snapshot. Its topics include benchmarks, contracts, fault, injection, smart, solidity. Read the repository documentation, license and current issues before using the software.

Repository of benchmarks to evaluate Solidity Smart contract analysis tools

Original project description · GitHub
02 / GITHUB

GitHub repositories

Stars
80
Stars gained · 7 days
—
Forks
23
Primary language
Python
Repository license
Not checked
Last code push
16 Jun 2022

Popularity comes from GitHub stars. Seven-day growth appears after a full week of local snapshots; this is our collection, not GitHub’s official trending chart.

Sources & freshness

Sources & freshness

GitHub ↗Source refreshed · 14 Oct 2026

Imported records link to their sources. An entry is a discovery aid, not an endorsement.

Search 1Bitcoin

Tools & guides

Hub listings