ripplarity
Popular repositories Loading
-
attest-spec
attest-spec PublicRipplarity Attestation Format: DSSE + in-toto statements, offline verifier, test vectors
Python 2
-
buyatheorem
buyatheorem PublicBuy a Theorem: a new, small, Lean-checked lemma named for you, with an open registry anyone can verify. Precedent: TheoryMine (2010).
Python 2
Repositories
- attest-spec Public
Ripplarity Attestation Format: DSSE + in-toto statements, offline verifier, test vectors
- sovkit Public
Attested Microsoft 365 estate inventory, mapping and migration drill for openDesk/Nextcloud
- buyatheorem Public
Buy a Theorem: a new, small, Lean-checked lemma named for you, with an open registry anyone can verify. Precedent: TheoryMine (2010).
- dejaspawn Public
Rehearse losing your Stripe, Cloudflare and GitHub accounts: owner-kept mirrors, timed restore drill, signed attestations
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…