Topik · agda
agda
Repositori open source terpantau bertanda agda, diurutkan berdasarkan bintang.
Repositori
3
Total bintang
4.161
Rata-rata bintang
1.387
Porsi
0,00%
Topik terkait
Topik yang sering muncul berdampingan dengan agda di repositori yang sama.
Yang sedang naik
Repositori yang dibuat dalam 90 hari terakhir dan bertanda agda.
Tidak ada repositori baru bertanda topik ini dalam 90 hari terakhir.
- #1
Agda adalah bahasa pemrograman dengan pengetikan dependen / pembuktian teorema interaktif.
★ 2.919+3Perubahan bintang dalam 7 hari terakhir - #2
Pustaka standar Agda
★ 675+0Perubahan bintang dalam 7 hari terakhir - #3★ 567+2Perubahan bintang dalam 7 hari terakhir
