quire
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 held at 5 for all 5 days of recorded history (4 November to 8 November 2026), with no change big enough to show. The line moves only on a clear change; small ones do not show.
Steady at a typical 5 seeds
same as 4 November 2026, the oldest day recorded
Activity
The default branch has 21 commits, the first on 3 Nov 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:z2dkq8aLLk9NZP2R75T7PPw98EFgC- Delegates
- rbrault
did:key:z6Mkmavqjt6uVhwtyBMCHcq9z7kQASqQ7ps8JJ5wbqs2AkQh - First seen by radicle.at
- 4 November 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 rbrault
| Repository | Seeds | 7d |
|---|---|---|
| rbrault | 2 | +5 |
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:z2dkq8aLLk9NZP2R75T7PPw98EFgCSeeding 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.