Repository · dormant

joaovaladares/erc-properties-hevm

ERC Properties for Formal Verification using hevm

SolidityMITEthereum Virtual Machine Stack

GitHub

stars

forks

contributors

open issues

Stars · last 0 weeks

Not enough history yet — signal stabilises after ~2 snapshots.

Trend

Stars Δ 1w—

Stars Δ 4w—

Contributors Δ 1w—

Last commit816d ago

Top contributors

joaovaladares

@joaovaladares

commits

Ecosystem context

Ethereum Virtual Machine Stack

subquery/subql

SubQuery is an Open, Flexible, Fast and Universal data indexing framework for web3. Our mission is to help developers create the decentralised products of the future.

TypeScriptlast commit 2026-04-01

18,795 stars

396 forks

59 contribs

orbitdb/orbitdb

Peer-to-Peer Databases for the Decentralized Web

JavaScriptlast commit 2026-05-14

8,791 stars

597 forks

72 contribs

MystenLabs/sui

Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language

Rustlast commit 2026-06-09

7,699 stars

11,689 forks

503 contribs

biomejs/gritql

GritQL is a query language for searching, linting, and modifying code.

Rustlast commit 2026-06-01

4,522 stars

122 forks

32 contribs

tapexyz/tape

an open media-sharing platform.