BuilderGraphAccount

Repository · dormant

LayerXcom/verified-vyper-contracts

FVyper: A collection of useful Vyper contracts developed with formal methods

PythonApache-2.0ArchivedLayerX

stars

57

forks

17

contributors

2

open issues

26

Stars · last 5 weeks

Trend

Stars Δ 1w0

Stars Δ 4w0

Contributors Δ 1w0

Last commit1876d ago

Weekly snapshots

5 rows

Week	Stars	Forks	Contributors	Open issues
2026-W15	54	17	2	26
2026-W17	57	17	2	26
2026-W22	57	17	2	26
2026-W23	57	17	2	26
2026-W24	57	17	2	26

Top contributors

2

nrryuya

nrryuya

@nrryuya

192

commits

yudetamago

yudetamago

@yudetamago

32

commits

Ecosystem context

LayerXcom/next-navigation-guard

Cancel page navigation in Next.js, like Nuxt's Navigation Guard feature.

TypeScriptlast commit 2026-04-28

LayerXcom/zero-chain

A privacy-preserving blockchain on Substrate

Rustlast commit 2025-02-03

LayerXcom/confidential-computing-modules

A Module for Privacy-preserving State Transitions with Verifiability

Rustlast commit 2023-03-25

LayerXcom/cordage

Cordage: the blockchain interoperability project!

Kotlinlast commit 2023-09-27

LayerXcom/freee-go

Go library for freee API

Golast commit 2025-07-18

LayerXcom/cbc-casper-proof

Proofs of properties of CBC Casper

TeXlast commit 2019-10-07

LayerXcom/bellman-substrate

A library for supporting zk-SNARKs to Substrate

Rustlast commit 2022-06-23

LayerXcom/hyperledger-fabric-security-dvp

Implementation of Security DvP

Shelllast commit 2020-05-17

Subscriber view

Unlock the full view of LayerXcom/verified-vyper-contracts

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.