Topik · apalache
apalache
Repositori open source terpantau bertanda apalache, diurutkan berdasarkan bintang.
Repositori
2
Total bintang
2.249
Rata-rata bintang
1.125
Porsi
0,00%
Topik terkait
Topik yang sering muncul berdampingan dengan apalache di repositori yang sama.
Yang sedang naik
Repositori yang dibuat dalam 90 hari terakhir dan bertanda apalache.
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.654+12Perubahan bintang dalam 7 hari terakhir - #2★ 596+2Perubahan bintang dalam 7 hari terakhir
