Thema · proofs
proofs
Erfasste Open-Source-Repos mit dem Tag proofs, sortiert nach Sternen.
Repos
3
Sterne gesamt
3.413
Sterne im Schnitt
1.138
Anteil
0,00%
Verwandte Themen
Themen, die häufig gemeinsam mit proofs am selben Repo auftauchen.
Neue Aufsteiger
Repos, die in den letzten 90 Tagen erstellt und mit proofs getaggt wurden.
In den letzten 90 Tagen kam kein neues Repo mit diesem Thema dazu.
- #1
Ausführbarer Code zum Lösen von Project-Euler-Problemen in Java, Python, Mathematica, Haskell.
★ 1.959-1Sterne-Änderung der letzten 7 Tage - #2★ 948+17Sterne-Änderung der letzten 7 Tage
- #3
KaRaMeL ist ein Tool zur Extraktion von Low-Level F*-Programmen in lesbaren C-Code.
★ 518+0Sterne-Änderung der letzten 7 Tage
