Topik · quint
quint
Repositori open source terpantau bertanda quint, diurutkan berdasarkan bintang.
Repositori
2
Total bintang
2.235
Rata-rata bintang
1.118
Porsi
0,00%
Topik terkait
Topik yang sering muncul berdampingan dengan quint di repositori yang sama.
Yang sedang naik
Repositori yang dibuat dalam 90 hari terakhir dan bertanda quint.
Tidak ada repositori baru bertanda topik ini dalam 90 hari terakhir.
- #1
Bahasa spesifikasi yang dapat dieksekusi dengan perkakas yang menyenangkan berdasarkan logika temporal tindakan (TLA)
★ 1.645+15Perubahan bintang dalam 7 hari terakhir - #2★ 595+1Perubahan bintang dalam 7 hari terakhir
