PrototypeCommon
project-oak/silveroak
Formal specification and verification of hardware, especially for security and privacy.
Archived: this repository is read-only
- Owner
- project-oak (organization)
- Stars
- Stars: 133
- Forks
- Forks: 21
- Language
- Coq
- License
- Apache-2.0
- Created
- 2019
- Topics
- formal-verificationcoqhardware
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by project-oak
All 3 repos by project-oak- project-oak/oakStars: 1,514RustBeta
- project-oak/rust-verification-toolsStars: 287RustAlpha
Nearby in Coq
All Coq repos- discus-lang/ironStars: 145CoqPrototype
- Lysxia/advent-of-coq-2018Stars: 141CoqPrototype
- rocq-archive/coq-serapiStars: 136CoqPrototype
- rocq-community/coq-artStars: 131CoqPrototype
- verse-lab/ceramistStars: 127CoqPrototype
- PrimeMHD/FPGA_ThreeLevelStorageStars: 120CoqPrototype