Pemilik · agda

agda

Repositori open source terpantau milik agda, diurutkan berdasarkan bintang.

3 repositori

#1
agda ↗@agdaHaskell
Agda adalah bahasa pemrograman dengan pengetikan dependen / pembuktian teorema interaktif.
★ 2.922+3Perubahan 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+0Perubahan bintang dalam 7 hari terakhir