Repositori open source terpantau milik sarsko, diurutkan berdasarkan bintang.
CreuSAT - SAT solver yang diverifikasi secara formal, ditulis dalam Rust dan diverifikasi dengan Creusot.
