Hysen Labsverus-lang
★ 2.765verus
Verifizierter Rust für Low-Level-Systemcode. Anstatt Laufzeitprüfungen hinzuzufügen, verlässt sich Verus stattdessen auf leistungsstarke Solver, um nachzuweisen, dass der Code korrekt ist.
HYSEN LABS VERZEICHNIS
verus-lang
Geprüfte Repositories, Klassifikationen und Analysen der Organisation verus-lang.
1 kuratiertes Open-Source-Projekt