Hysen Labsverus-lang
★ 2 765verus
Rust vérifié pour le code des systèmes de bas niveau. Plutôt que d’ajouter des contrôles d’exécution, Verus s’appuie sur de puissants solveurs pour prouver que le code est correct.
RÉPERTOIRE HYSEN LABS
verus-lang
Dépôts vérifiés, classifications et analyses de l’organisation verus-lang.
1 projet open source sélectionné