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