Bibliotheken geschreven in
Idris
-
2.2k
-
GNU General Public License v3.0
-
456
-
BSD 3-clause "New" or "Revised"
-
245
-
GNU Affero General Public License v3.0
-
127
-
GNU General Public License v3.0
-
61
-
BSD 3-clause "New" or "Revised"
-
20
-
GNU General Public License v3.0