BuilderGraphAccount

Repository · shipping

verifereum/vyper-hol

Formal specification and verification of Vyper

Standard MLGPL-3.0Ethereum

stars

30

forks

6

contributors

7

open issues

33

Stars · last 6 weeks

Trend

Stars Δ 1w+5

Stars Δ 4w+5

Contributors Δ 1w0

Last commit2d ago

Weekly snapshots

6 rows

Week	Stars	Forks	Contributors	Open issues
2026-W15	23	6	7	28
2026-W16	25	6	—	28
2026-W17	25	6	7	28
2026-W22	25	6	7	28
2026-W23	25	6	7	28
2026-W24	30	6	7	33

Top contributors

7

charles-cooper

charles-cooper

@charles-cooper

916

commits

xrchz

xrchz

@xrchz

898

commits

lukaszcz

lukaszcz

@lukaszcz

476

commits

Eduardogbg

Eduardogbg

@Eduardogbg

28

commits

benber86

benber86

@benber86

21

commits

harkal

harkal

@harkal

3

commits

gemlorg

gemlorg

@gemlorg

3

commits

Ecosystem context

FuelLabs/sway

🌴 Empowering everyone to build reliable and efficient smart contracts.

Rustlast commit 2026-06-05

FuelLabs/fuel-core

Rust full node implementation of the Fuel v2 protocol.

Rustlast commit 2026-06-07

ethereum/go-ethereum

Go implementation of the Ethereum protocol

Golast commit 2026-06-08

slab/quill

Quill is a modern WYSIWYG editor built for compatibility and extensibility

TypeScriptlast commit 2025-07-25

FuelLabs/fuels-rs

Fuel Network Rust SDK

Rustlast commit 2026-04-06

FuelLabs/fuels-ts

Fuel Network Typescript SDK

TypeScriptlast commit 2026-03-27

inkonchain/node

How to run an Ink Node

Shelllast commit 2026-04-21

argotorg/solidity

Solidity, the Smart Contract Programming Language

C++last commit 2026-06-08

Subscriber view

Unlock the full view of verifereum/vyper-hol

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.