prism
PRISM model checker mirror. By spacefrogg.
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.
Seed count over time
The seed count has swung between 7 and 19 over 90 days of recorded history (11 August to 8 November 2026), and stands at 11, near the 14 it opened at. The largest single change was -8 on 18 October 2026, across 32 recorded moves. The line moves only on a clear change; small ones do not show.
13 → 11 typical seeds
too small to count as a move · against the week ending 1 November 2026
12 → 11 typical seeds
too small to count as a move · against the week ending 9 October 2026
Activity
The default branch has 4,429 commits, back to Mar 2006. The 473 from the last five years are drawn, the latest on 15 Jan 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:zSK2YLFsy8jGRoMbhXGpCDgLUyif- Delegates
- spacefrogg
did:key:z6Mkgfwr3p56v3hg1qwZaVj5UHYoaVEQoVWV23mo2iFFBYQpdid:key:z6MkiHopPGb4XhSVDZkgpnGg6x41jFdRNMX24ghVSQKVVpSgdid:key:z6MkvXD5ifQbd8NuHT39BsqdG3mxyvkt77BhSZKr7yh92nMa - 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
| Repository | Seeds | 7d |
|---|---|---|
| nix-uxn | 13 | 0 |
| minimal-circuits | 10 | 0 |
| prism-gen | 10 | 0 |
| rfet-tutorial | 9 | 0 |
| xcircuit | 9 | 0 |
| rfet-experiments | 8 | 0 |
| prism-build | 7 | 0 |
| prism-gen | 7 | -4 |
| prism-tests | 7 | -4 |
| qmk-sofle | 7 | 0 |
Its 3 delegates have 17 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:zSK2YLFsy8jGRoMbhXGpCDgLUyifSeeding 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.