stats.radicle.at

logji

Old experiment of creating a language for calculating proofs of theorems. By Derick.

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

Seed count over time

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

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

0over 7 days

Steady at a typical 4 seeds

same as the week ending 1 November 2026

-4over 30 days

8 → 4 typical seeds

against the week ending 9 October 2026

Chart this against other repositories

Activity

No activity in the last five years. The latest is from 4 Apr 2019.

About this repository

Repository ID
rad:z4QMkxAxLiwvgKyEdBcy8FhTLUwib
Delegates
Derickdid:key:z6Mko5mivMvNtheBHB67cSJeMG6BbCn7Xk6MKY9VegkAbgMH
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 Derick

RepositorySeeds7d
bench_of_snafu_vs_anyhow7-4
cfg_rust_features70
autocfg60
kul5-4
nixos-config50

Derick maintains 20 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:z4QMkxAxLiwvgKyEdBcy8FhTLUwib

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.