stats.radicle.at

ferris-proof

Correctness pipeline for Rust applications that combines formal modeling (TLA+, Alloy), Rust's type system, and property-based testing to ensure… By yumchen.

Open on app.radicle.at
Seeds
7
How many nodes announce this repository to the network.
more

Announcing is a node declaring it will serve the repository; what is on that node's disk cannot be verified from here. The median repository is seeded by 6 nodes.

Rank by seed count
#4,857
Of 17,037 repositories with a current seed count. Seeded by more nodes than 58.6% of them.
Size on radicle.at
1.6 MiB
Its size on radicle.at's disk, as last recorded.

Seed count over time

10 seeds, 11 August 2026 to 18 August 20266 seeds, 19 August 2026 to 22 August 202611 seeds, 23 August 2026 to 24 August 20268 seeds, 25 August 202612 seeds, 26 August 20269 seeds, 27 August 20265 seeds, 28 August 2026 to 29 August 20268 seeds, 30 August 2026 to 31 August 202613 seeds, 1 September 2026 to 2 September 20267 seeds, 3 September 2026 to 9 September 202613 seeds, 10 September 20268 seeds, 11 September 2026 to 12 September 20265 seeds, 13 September 20269 seeds, 14 September 2026 to 15 September 20266 seeds, 16 September 202610 seeds, 17 September 20265 seeds, 18 September 20269 seeds, 19 September 2026 to 20 September 202614 seeds, 21 September 202610 seeds, 22 September 2026 to 24 September 202610 seeds, 25 September 202611 seeds, 26 September 2026 to 27 September 202614 seeds, 28 September 20268 seeds, 29 September 2026 to 1 October 202613 seeds, 2 October 2026 to 3 October 20269 seeds, 4 October 2026 to 14 October 20266 seeds, 15 October 202610 seeds, 16 October 20266 seeds, 17 October 2026 to 23 October 202610 seeds, 24 October 20266 seeds, 25 October 2026 to 28 October 20269 seeds, 29 October 20265 seeds, 30 October 2026 to 1 November 20268 seeds, 2 November 2026 to 3 November 20264 seeds, 4 November 20267 seeds, 5 November 2026 to 8 November 2026

The seed count has swung between 4 and 14 over 90 days of recorded history (11 August to 8 November 2026), and stands at 7, near the 10 it opened at. The largest single change was -6 on 3 September 2026, across 35 recorded moves. The line moves only on a clear change; small ones do not show.

0over 7 days

6 → 7 typical seeds

too small to count as a move · against the week ending 1 November 2026

0over 30 days

9 → 7 typical seeds

too small to count as a move · against the week ending 9 October 2026

Chart this against other repositories

Activity

Commits
25 commits, 29 Dec 2025 to 4 Jan 2026
25

The default branch has 25 commits, the first on 31 Dec 2025, the latest on 31 Dec 2025.

No signature from a Radicle key in this repository. Sign your commits with your Radicle key →

?
Grouped
Commits too close together to draw apart, with their count where there is room.
Row totals
Each row's number is its total for the dates in view.

About this repository

Repository ID
rad:z3dkY48t49fewKHTd2mBtd8VAeuQC
Delegates
yumchendid:key:z6MkpC1ahHS1r9KR12LbYnoponj8swuaAEiNpvVvB9hcXhvh
First seen by radicle.at
7 July 2026 or earlier
Last seen
8 November 2026
Classification
Community. Published by a peer on the Radicle network. This site's own label; the repository does not declare it.

More by yumchen

RepositorySeeds7d
radipan-vite-solid-ts90
www.longsoft.ltd90
cms8+4
radipan80
radipan-vite-react-ts8-4

yumchen maintains 30 repositories here, including this one. See all of them · Chart these together

Seed it too

Run this in a terminal on a machine with a Radicle node (radicle.dev to install one):

rad seed rad:z3dkY48t49fewKHTd2mBtd8VAeuQC

Seeding replicates the repo and counts your node toward the seed count above, which can take a while to show. Tap the command to copy it.

To seed every public repository at once, run a permissive seed node, one that takes whatever the network offers. The Radicle seeder guide covers setup, and radicle-seed-prune frees disk as it fills, so there is no minimum disk to start with.