Bibliotheken geschreven in
Coq
-
1.6k
-
GNU General Public License v3.0
-
1.2k
-
GNU General Public License v3.0
-
853
-
GNU General Public License v3.0
-
594
-
GNU General Public License v3.0
-
332
-
GNU Lesser General Public License v3.0 only
-
306
-
GNU General Public License v3.0
-
259
-
GNU General Public License v3.0
-
197
-
GNU Lesser General Public License v3.0 only
-
168
-
BSD 2-clause "Simplified"
-
158
-
GNU General Public License v3.0
-
140
-
GNU General Public License v3.0
-
131
-
GNU General Public License v3.0
-
108
-
GNU General Public License v3.0 only
-
106
-
BSD 2-clause "Simplified"
-
104
-
GNU General Public License v3.0 only
-
96
-
GNU General Public License v3.0
-
87
-
BSD 3-clause "New" or "Revised"
-
71
-
GNU General Public License v3.0 only
-
62
-
BSD 3-clause "New" or "Revised"