BuilderGraphAccount

Repository · dormant

SkymanOne/folidity

Formally Verifiable Smart Contract language

stars

6

forks

0

contributors

1

open issues

6

Stars · last 0 weeks

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

Trend

Stars Δ 1w—

Stars Δ 4w—

Contributors Δ 1w—

Last commit583d ago

Top contributors

1

SkymanOne

SkymanOne

@SkymanOne

65

commits

Ecosystem context

wormhole-foundation/wormhole

A reference implementation for the Wormhole blockchain interoperability protocol.

TypeScriptlast commit 2026-06-05

gitcoinco/web

Grow Open Source

JavaScriptlast commit 2024-08-09

algorand/go-algorand

Algorand's official implementation in Go.

Golast commit 2026-06-09

reach-sh/reach-lang

Reach: The Safest and Smartest DApp Programming Language

Haskelllast commit 2023-09-11

algorand/js-algorand-sdk

The official JavaScript SDK for Algorand.

TypeScriptlast commit 2026-06-05

algorand/pyteal

Algorand Smart Contracts in Python

Pythonlast commit 2026-04-13

algorand/py-algorand-sdk

Algorand Python SDK

Pythonlast commit 2026-04-13

blockchain-etl/public-datasets

The list of public blockchain datasets in BigQuery

last commit 2024-06-26

Subscriber view

Unlock the full view of SkymanOne/folidity

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.