BetaRare
project-oak/oak
Meaningful control of data in distributed systems.
- Owner
- project-oak (organization)
- Stars
- Stars: 1,514
- Forks
- Forks: 150
- Language
- Rust
- License
- Apache-2.0
- Created
- 2019
- Tier
- Beta (700 to 1,999 ★) What this tier means
More repos by project-oak
All 3 repos by project-oak- project-oak/rust-verification-toolsStars: 287RustAlpha
- project-oak/silveroakStars: 133CoqPrototype
Nearby in Rust
All Rust repos- hermit-os/kernelStars: 1,515RustBeta
- grovesNL/glowStars: 1,515RustBeta
- release-plz/release-plzStars: 1,515RustBeta
- bgreenwell/xleakStars: 1,513RustBeta
- balena-os/wifi-connectStars: 1,512RustBeta
- databricks/clickStars: 1,511RustBeta