This website requires JavaScript.
Explore
Help
Register
Sign In
External
/
buzz
Watch
1
Star
0
Fork
0
mirror of
https://github.com/block/buzz.git
synced
2026-08-18 06:50:31 +02:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
b72e024b2a11500238c7d6c7d8d219ea5e48810b
buzz
/
docs
/
spec
T
History
thomaspblock
and
GitHub
80e0ab16b0
perf(relay): compact Git packs before manifest limits (
#2172
)
2026-07-20 19:36:28 +02:00
..
.gitignore
Multi-tenant relay: spec + mechanized formal proof (S1–S8) (
#1285
)
2026-06-26 11:15:59 -04:00
GitOnObjectStore.cfg
…
GitOnObjectStore.tla
perf(relay): compact Git packs before manifest limits (
#2172
)
2026-07-20 19:36:28 +02:00
MultiTenantAuth.spthy
Multi-tenant relay: spec + mechanized formal proof (S1–S8) (
#1285
)
2026-06-26 11:15:59 -04:00
MultiTenantRelay.cfg
Multi-tenant relay: spec + mechanized formal proof (S1–S8) (
#1285
)
2026-06-26 11:15:59 -04:00
MultiTenantRelay.tla
Multi-tenant relay: spec + mechanized formal proof (S1–S8) (
#1285
)
2026-06-26 11:15:59 -04:00
