CakeML/cakeml
@CakeMLCakeML: Eine verifizierte Implementierung von ML
Sterne
1.190
Forks
101
Sprache
Standard ML
Lizenz
BSD-3-Clause
Letzter Push
vor 6 Tagen
Verwandte Intel (0)
Noch keine verwandte Intel
Dieses Repo ist noch in keiner der vom Radar verfolgten Quellen aufgetaucht. Der Collector läuft nach Zeitplan — schau wieder vorbei, sobald er dieses Repo abdeckt.