Bahasa Pemrograman · Agda

Agda

Repositori open source terpantau dengan Agda sebagai bahasa utama, diurutkan berdasarkan bintang.

3 repositori

#1
plfa.github.io@plfaAgda
Pengantar teori bahasa pemrograman di Agda
★ 1.513+0Perubahan bintang dalam 7 hari terakhir
#2
agda-stdlib@agdaAgda
Pustaka standar Agda
★ 675+0Perubahan bintang dalam 7 hari terakhir
#3
cubical@agdaAgda
Pustaka eksperimental untuk Cubical Agda
★ 567+2Perubahan bintang dalam 7 hari terakhir