o1-labs/snarky
@o1-labsOCaml-DSL für verifizierbare Berechnungen.
Sterne
507
Forks
85
Sprache
OCaml
Lizenz
MIT
Letzter Push
vor 1 Monat
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.