Eigentümer · agda

agda

Erfasste Open-Source-Repos von agda, sortiert nach Sternen.

3 Repos

#1
agda ↗@agdaHaskell
Agda ist eine dependently getypte Programmiersprache und ein interaktiver Theorembeweiser.
★ 2.922+1Sterne-Änderung der letzten 7 Tage
#2
agda-stdlib ↗@agdaAgda
Die Agda-Standardbibliothek
★ 675+0Sterne-Änderung der letzten 7 Tage
#3
cubical ↗@agdaAgda
Eine experimentelle Bibliothek für Cubical Agda.
★ 567+1Sterne-Änderung der letzten 7 Tage