sarsko's tracked open-source repos, sorted by stars.
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
