Repository · quiet

crytic/properties

Pre-built security properties for common Ethereum operations

SolidityAGPL-3.0Ethereum

GitHub

stars

367

forks

contributors

open issues

Stars · last 6 weeks

Trend

Stars Δ 1w0

Stars Δ 4w+3

Contributors Δ 1w0

Last commit91d ago

Weekly snapshots

6 rows

Week	Stars	Forks	Contributors	Open issues
2026-W15	345	57	16	35
2026-W16	364	57	16	35
2026-W17	364	57	16	35
2026-W22	366	58	16	35
2026-W23	367	58	16	35
2026-W24	367	58	16	35

Top contributors

tuturu-tech

@tuturu-tech

commits

gustavo-grieco

@gustavo-grieco

commits

nisedo

@nisedo

commits

montyly

@montyly

commits

elopez

@elopez

commits

aviggiano

@aviggiano

commits

bsamuels453

@bsamuels453

commits

smonicas

@smonicas

commits

audityourcontracts

@audityourcontracts

commits

GianfrancoBazzani

@GianfrancoBazzani

commits

glarregay-tob

@glarregay-tob

commits

ChmielewskiKamil

@ChmielewskiKamil

commits

0xmichalis

@0xmichalis

commits

smoelius

@smoelius

commits

YanhuiJessica

@YanhuiJessica

commits

0xteddybear

@0xteddybear

commits

Ecosystem context

Ethereum

FuelLabs/sway

🌴 Empowering everyone to build reliable and efficient smart contracts.

Rustlast commit 2026-06-05

61,649 stars

5,422 forks

150 contribs

FuelLabs/fuel-core

Rust full node implementation of the Fuel v2 protocol.

Rustlast commit 2026-06-07

57,029 stars

2,864 forks

62 contribs

ethereum/go-ethereum

Go implementation of the Ethereum protocol

Golast commit 2026-06-05

51,114 stars

21,925 forks

443 contribs

slab/quill

Quill is a modern WYSIWYG editor built for compatibility and extensibility

TypeScriptlast commit 2025-07-25

47,126 stars

3,651 forks

142 contribs

FuelLabs/fuels-rs

Fuel Network Rust SDK

Rustlast commit 2026-04-06

43,181 stars

1,361 forks

54 contribs

FuelLabs/fuels-ts

Fuel Network Typescript SDK

TypeScriptlast commit 2026-03-27

43,149 stars

1,372 forks

57 contribs

inkonchain/node

How to run an Ink Node

Shelllast commit 2026-04-21

36,576 stars

635 forks

16 contribs

argotorg/solidity

Solidity, the Smart Contract Programming Language

C++last commit 2026-06-04

25,648 stars

6,114 forks

349 contribs

Subscriber view

Unlock the full view of crytic/properties

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

Subscribe Sign in

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