Valiantagda vs Geneticsharp

GeneticsharpValiantagda
Stars1,1595
Downloads
Dependent Packages8
Dependent Repos22
Most Recent Commit8 months ago6 months ago
Total Releases18
Latest ReleaseJanuary 29, 2023
Open Issues7
Licensemitbsd-3-clause
Programming LanguageC#Agda