stats.radicle.at

SMT-solver-playground

Example scripts to solve "constraint problems" using SMT solvers. By pamplemousse@dwell.

Open on app.radicle.at
Seeds
13
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
#240
Of 17,037 repositories with a current seed count. Seeded by more nodes than 97.4% of them.
Size on radicle.at
148 KiB
Its size on radicle.at's disk, as last recorded.

Seed count over time

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

The seed count has swung between 3 and 16 over 75 days of recorded history (26 August to 8 November 2026), and stands at 13, near the 12 it opened at. The largest single change was +11 on 1 September 2026, across 32 recorded moves. The line moves only on a clear change; small ones do not show.

0over 7 days

9 → 8 typical seeds, latest 13

too small to count as a move · against the week ending 1 November 2026 · the latest dates from 8 November 2026, too new to move the typical count

-4over 30 days

12 → 8 typical seeds, latest 13

against the week ending 9 October 2026

Chart this against other repositories

Activity

No activity in the last five years. The latest is from 8 Jan 2020.

About this repository

Repository ID
rad:z7dqbNu57DwhK5do1ER7PUdsF5gJ
Delegates
pamplemousse@dwelldid:key:z6Mko14YoCHvfX6B3P45ZarU5RmRqPcjey5i3c6r5fUknCLy
First seen by radicle.at
26 August 2026
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 pamplemousse@dwell

RepositorySeeds7d
mathematical_expression_evaluation13-6
shellcode_starter_kit120
xaviermaso.com100
audit-ssh-client-config70
interactions_compiler7+4

pamplemousse@dwell maintains 17 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:z7dqbNu57DwhK5do1ER7PUdsF5gJ

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.