PrototypeCommune
project-oak/silveroak
Formal specification and verification of hardware, especially for security and privacy.
Archivé : ce dépôt n’évolue plus
- Propriétaire
- project-oak (organisation)
- Étoiles
- Étoiles : 133
- Forks
- Forks : 21
- Langage
- Coq
- Licence
- Apache-2.0
- Création
- 2019
- Sujets
- formal-verificationcoqhardware
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de project-oak
Les 3 dépôts de project-oak- project-oak/oakÉtoiles : 1 514RustBêta
- project-oak/rust-verification-toolsÉtoiles : 287RustAlpha
D’autres dépôts Coq
Tous les dépôts Coq- discus-lang/ironÉtoiles : 145CoqPrototype
- Lysxia/advent-of-coq-2018Étoiles : 141CoqPrototype
- rocq-archive/coq-serapiÉtoiles : 136CoqPrototype
- rocq-community/coq-artÉtoiles : 131CoqPrototype
- verse-lab/ceramistÉtoiles : 127CoqPrototype
- PrimeMHD/FPGA_ThreeLevelStorageÉtoiles : 120CoqPrototype