stats.radicle.at

utensil.lean4_jupyter

A Lean 4 Jupyter kernel via repl. By utensil.

Open on app.radicle.at
Seeds
3
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
#14,701
Of 17,052 repositories with a current seed count. Seeded by more nodes than 5.5% of them.
Size on radicle.at
500 KiB
Its size on radicle.at's disk, as last recorded.

Seed count over time

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

The seed count fell from 11 to 3 over 90 days of recorded history (12 August to 9 November 2026), peaking at 14 on 27 September 2026 and dipping to 2 on 20 October 2026. The largest single change was -7 on 28 September 2026, across 43 recorded moves. The line moves only on a clear change; small ones do not show.

0over 7 days

5 → 3 typical seeds

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

-5over 30 days

8 → 3 typical seeds

against the week ending 10 October 2026

Chart this against other repositories

Activity

Commits
112 commits, 30 Apr 2024 to 27 May 202416 commits, 28 May 2024 to 24 Jun 20241 commit, 17 Sep 2024 to 14 Oct 20249 commits, 15 Oct 2024 to 11 Nov 202420 commits, 12 Nov 2024 to 9 Dec 2024
158

The default branch has 158 commits, the first on 8 May 2024, the latest on 19 Nov 2024.

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:z32xNnKn1kMt8W2CFv3ZGtVNagHSZ
Delegates
utensildid:key:z6Mkoi6L46Tr54sMQmctod6Q43VjYyLwBh8VwJvftMZwdiHt
First seen by radicle.at
7 July 2026 or earlier
Last seen
9 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 utensil

RepositorySeeds7d
utensil.dockerfiles130
utensil.slides100
utensil.behind-programming90
utensil.garden90
utensil.writings-tableau90

utensil maintains 24 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:z32xNnKn1kMt8W2CFv3ZGtVNagHSZ

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.