Repository · dormant

allisterb/Silver

Static analyzer and formal verifier for Stratis smart contracts

Jupyter NotebookMITStratis

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

Top contributors

allisterb

@allisterb

375

commits

drmathias

@drmathias

commits

Ecosystem context

Stratis

stratisproject/StratisBitcoinFullNode

Bitcoin full node in C#

C#last commit 2021-08-16

786 stars

307 forks

61 contribs

stratisproject/NStratis

Comprehensive Bitcoin library for the .NET framework.

C#last commit 2018-03-15

130 stars

61 forks

39 contribs

stratisproject/StratisFullNode

C#last commit 2024-04-08

99 stars

72 forks

66 contribs

stratisproject/Breeze

Project Breeze Repository

CSSlast commit 2019-02-04

89 stars

46 forks

11 contribs

stratisproject/stratisX

Clast commit 2019-01-01

84 stars

36 forks

117 contribs

stratisproject/StratisEVM

Dockerfilelast commit 2025-06-02

54 stars

25 forks

6 contribs

stratisproject/StratisCore

TypeScriptlast commit 2020-12-22

43 stars

47 forks

23 contribs

stratisproject/TCPServer

IServer implementation for ASP.NET Core using bare TCP socket at the transport layer

C#last commit 2018-06-22

34 stars

13 forks

1 contribs

Subscriber view

Unlock the full view of allisterb/Silver

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.