idris2-osconfig
An prototype tool to manage systems configuration in Idris 2. By arnaud.mbp.
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 rose from 5 to 8 over 23 days of recorded history (18 October to 9 November 2026), peaking at 12 on 24 October 2026. The largest single change was +4 on 21 October 2026, across 5 recorded moves. The line moves only on a clear change; small ones do not show.
Steady at a typical 8 seeds
same as the week ending 2 November 2026
Activity
The default branch has 57 commits, the first on 4 Oct 2026, all in the last 90 days.
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:z3RkvuMJdX4uY1Sk2AegLZXHwhDgD- Delegates
- arnaud.mbp
did:key:z6MkhgPg6WShnhJcmfwox4G5yL3EvJ2zW8L31SZLD95yUi11 - First seen by radicle.at
- 18 October 2026
- 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 arnaud.mbp
| Repository | Seeds | 7d |
|---|---|---|
| sensei | 15 | 0 |
| hal | 11 | 0 |
| amaru-consensus-treasury | 10 | 0 |
| moog | 10 | 0 |
| pacific-war | 10 | 0 |
arnaud.mbp maintains 22 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:z3RkvuMJdX4uY1Sk2AegLZXHwhDgDSeeding 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.