project-oak
Results
6
repositories owned by
project-oak
oak
978
Stars
105
Forks
Watchers
Meaningful control of data in distributed systems.
rust-verification-tools
274
Stars
37
Forks
Watchers
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
silveroak
118
Stars
20
Forks
Watchers
Formal specification and verification of hardware, especially for security and privacy.