theseus-os/Theseus
@theseus-osTheseus est un système d'exploitation moderne écrit de zéro en Rust qui explore la conception intralinguale : combler le fossé sémantique entre le compilateur et le matériel en tirant le meilleur parti de la sécurité du langage et des types affines. Theseus vise à transférer les responsabilités du système d'exploitation, comme la gestion des ressources, vers le compilateur.
Étoiles
3 190
Bifurcations
186
Langage
Rust
Licence
MIT
Dernier push
il y a 2 ans
Intel associée (0)
Aucune intel associée pour le moment
Ce dépôt n'est encore apparu dans aucune des sources que le radar suit. Le collecteur suit un calendrier — revenez une fois qu'il couvre ce dépôt.