stats.radicle.at

prism-gen

Transistor circuit and verification model generator for the PRISM model checker. By spacefrogg and wil.

Open on app.radicle.at
Seeds
10
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
#1,261
Of 17,037 repositories with a current seed count. Seeded by more nodes than 88.2% of them.
Size on radicle.at
2.3 MiB
Its size on radicle.at's disk, as last recorded.

Seed count over time

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

The seed count fell from 15 to 10 over 90 days of recorded history (11 August to 8 November 2026), peaking at 16 on 18 August 2026 and dipping to 5 on 4 September 2026. The largest single change was +9 on 5 September 2026, across 38 recorded moves. The line moves only on a clear change; small ones do not show.

0over 7 days

10 → 9 typical seeds

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

0over 30 days

Steady at a typical 9 seeds

same as the week ending 9 October 2026

Chart this against other repositories

Activity

Commits
3 commits, 19 Aug 2024 to 15 Sep 20243 commits, 14 Oct 2024 to 10 Nov 20242 commits, 11 Nov 2024 to 8 Dec 2024
8
spacefrogg
2 commits matched by email, unverified, on 30 Aug 20241 signed commit on 30 Aug 20242 commits matched by email, unverified, on 5 Nov 20241 commit matched by email, unverified, on 6 Nov 20242 commits matched by email, unverified, on 12 Nov 2024
8

The default branch has 8 commits, the first on 30 Aug 2024, the latest on 12 Nov 2024.

One identity has signed 1 commit and matched 7 more by email here. Sign your commits with your Radicle key →

?
Signed
Filled marks. Signed with that identity's Radicle key, or another key linked to it.
Matched by email
Hollow marks. Not signed by that identity, but made with an email address it is known to use. Likely its own, not proven.
Counted over
Commits from the last five years.
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:zdU2cdWsByuVtmCLjgZBkvHxufoB
Delegates
spacefroggdid:key:z6Mkgfwr3p56v3hg1qwZaVj5UHYoaVEQoVWV23mo2iFFBYQpwildid:key:z6MkpXAMGrxQuKsc8L4gAZPPertcjyd35nKqmesv55Usmxkh
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 from its maintainers

RepositorySeeds7d
nix-uxn130
prism110
minimal-circuits100
rfet-tutorial90
xcircuit90
rfet-experiments80
prism-build70
prism-gen7-4
prism-tests7-4
qmk-sofle70

Its 2 delegates have 15 repositories here between them, including this one. Chart the top 5 together

Seed it too

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

rad seed rad:zdU2cdWsByuVtmCLjgZBkvHxufoB

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.