TypedNotes
Repositories list
15 repositories
lun
PublicA runner of code with tranquilitylode
PublicAgentic coding in Leantypednotes
Publiclinen
Publicledger
PublicUsage & credit ledger service in Lean 4: exact integer money, a proven balance fold, a typed hold lifecycle, and Postgres-enforced reserves and idempotent grant…liaison
PublicDelegation broker in Lean 4: HMAC-chained warrants with attenuating caveats, ledger-backed credit holds, one confined egress call per request, and a complete au…secrets
PublicSecret vaultinfra
PublicDeclare the infrastructurehome
Publiclean-pq
PublicLean binding for libpqhale
Public archiveLeanTool
PublicPyPantograph
Publicdioxus
Publiclean4_jupyter
Public
ProTip! When viewing an organization's repositories, you can use the
props. filter to filter by custom property.