Popular repositories Loading
Repositories
Showing 10 of 15 repositories
- liaison Public
Delegation broker in Lean 4: HMAC-chained warrants with attenuating caveats, ledger-backed credit holds, one confined egress call per request, and a complete audit log.
- typednotes Public
- ledger Public
Usage & credit ledger service in Lean 4: exact integer money, a proven balance fold, a typed hold lifecycle, and Postgres-enforced reserves and idempotent grants.
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…