Topik · sat

sat

Repositori open source terpantau bertanda sat, diurutkan berdasarkan bintang.

Repositori

3

Total bintang

3.365

Rata-rata bintang

1.122

Porsi

0,00%

Topik yang sering muncul berdampingan dengan sat di repositori yang sama.

Yang sedang naik

Repositori yang dibuat dalam 90 hari terakhir dan bertanda sat.

Tidak ada repositori baru bertanda topik ini dalam 90 hari terakhir.

#1
english-vocabulary ↗@KyleBing
Kosakata bahasa Inggris, CET4 CET6, ujian pascasarjana, kosakata SAT, file txt, file json
★ 1.898+28Perubahan bintang dalam 7 hari terakhir
#2
Factorio-SAT ↗@R-O-C-K-E-TPython
Meningkatkan pengalaman Factorio dengan pemecah SAT
★ 774+0Perubahan bintang dalam 7 hari terakhir
#3
CreuSAT ↗@sarskoRust
CreuSAT - SAT solver yang diverifikasi secara formal, ditulis dalam Rust dan diverifikasi dengan Creusot.
★ 696+5Perubahan bintang dalam 7 hari terakhir

← Kembali ke topik