rbrault
Quire is a Rust microcompiler for verifiable mathematical literature. By rbrault.
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 1 to 5 over 6 days of recorded history (4 November to 9 November 2026), peaking at 6 on 5 November 2026. The largest single change was +5 on 5 November 2026, across 3 recorded moves. The line moves only on a clear change; small ones do not show.
1 → 6 typical seeds
against 4 November 2026, the oldest day recorded
Activity
The default branch has 19 commits, the first on 8 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:z3NpwFG1TK9wUWsSiVPhiqYnJT8N8- Delegates
- rbrault
did:key:z6Mkmavqjt6uVhwtyBMCHcq9z7kQASqQ7ps8JJ5wbqs2AkQh - First seen by radicle.at
- 4 November 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 rbrault
| Repository | Seeds | 7d |
|---|---|---|
| quire | 5 | 0 |
rbrault maintains 2 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:z3NpwFG1TK9wUWsSiVPhiqYnJT8N8Seeding 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.