Repository · dormant

ThomasHeim11/assembly-evm-opcodes-and-formal-verification

🧙 This is part of Cyfrin updraft advanced course on Assembly for EVM and formal verification🧙

SolidityEthereum Virtual Machine Stack

GitHub Website

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 commit698d ago

Top contributors

ThomasHeim11

@ThomasHeim11

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,521 stars

122 forks

32 contribs

tapexyz/tape

an open media-sharing platform.