─── team / organization

eth-sri

@eth-sri

5 repos1,132 stars1 ecosystem

github ↗[→] request ecosystem report

─── top repos · by stars

─── repositories

5 / 5

eth-sri/securify2

Securify v2.0

Solidity

★ 630

4 contribs

eth-sri/securify

[DEPRECATED] Security Scanner for Ethereum Smart Contracts

Java

★ 222

5 contribs

eth-sri/ilf

AI based fuzzer based on imitation learning

Python→ Ethereum

★ 155

3 contribs

eth-sri/zkay

A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private smart contracts.

Python

★ 88

4 contribs

eth-sri/soltix

SOLTIX: Scalable automated framework for testing Solidity compilers.

Java→ Ethereum

★ 37

3 contribs

─── top contributors

nibau

523 commits

sam-steffen

85 commits

nweller

46 commits

ritzdorf

17 commits

ptsankov

14 commits

LostBenjamin

11 commits

hiqua

3 commits

vraychev

2 commits

m-unkel

2 commits

renardbebe

2 commits

YannisSach

2 commits

nucks

2 commits

snyk-bot

2 commits

bichselb

1 commits

EnerJayFusion

1 commits

nettrino

1 commits

iczc

1 commits

mattaereal

1 commits

─── ecosystems

Ethereum

─── languages

Java2
Python2
Solidity1

─── subscriber view

Unlock the full view of eth-sri

· Full repository, commit, and contributor breakdown
· Peer graph + ecosystem links
· Weekly trend deltas and pulse signal
· API + CSV / JSON exports

[$] subscribe sign in

Already a subscriber? Sign in with the same email used at checkout.