Erfasste Open-Source-Repos von sarsko, sortiert nach Sternen.
CreuSAT – Ein formal verifizierter SAT-Solver, geschrieben in Rust und verifiziert mit Creusot.
