Topik · profunctor
profunctor
Repositori open source terpantau bertanda profunctor, diurutkan berdasarkan bintang.
Repositori
1
Total bintang
807
Rata-rata bintang
807
Porsi
0,00%
Topik terkait
Topik yang sering muncul berdampingan dengan profunctor di repositori yang sama.
Yang sedang naik
Repositori yang dibuat dalam 90 hari terakhir dan bertanda profunctor.
Tidak ada repositori baru bertanda topik ini dalam 90 hari terakhir.
- #1
Formalisasi teori kategori bebas aksioma di Coq untuk studi pribadi dan pekerjaan praktis
★ 808+1Perubahan bintang dalam 7 hari terakhir
