PrototypeCommune
JGiraldo29/vekos
Source tree for the Verified Experimental Kernel Operating System, or VEKOS.
- Propriétaire
- JGiraldo29 (compte personnel)
- Étoiles
- Étoiles : 213
- Forks
- Forks : 11
- Langage
- Rust
- Licence
- Apache-2.0
- Création
- 2024
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Rust
Tous les dépôts Rust- wieslawsoltes/FerroUIÉtoiles : 213RustPrototype
- Jorge262007/FFTARecompÉtoiles : 213RustPrototype
- openmathmodel/open-math-harnessÉtoiles : 213RustPrototype
- rethinkdb/rethinkdb-rsÉtoiles : 213RustPrototype
- alex/csv-sqlÉtoiles : 213RustPrototype
- jpernst/rentalÉtoiles : 213RustPrototype