Owner
CakeML
4 indexierte Repositories · Auf GitHub ansehen
-
cakeml
CakeML: A Verified Implementation of ML
Standard ML · 1193 Sterne
-
pure
A verified compiler for a lazy functional language
Standard ML · 44 Sterne
-
regression
Regression testing infrastructure for CakeML
Standard ML · 4 Sterne
-
Standard ML · 2 Sterne
-
help wanted high effort medium reward translator
CakeML/cakeml#9 · 1 Kommentar · 0 Reaktionen · 1 zugewiesene Person ·
-
help wanted medium reward
CakeML/cakeml#38 · 6 Kommentare · 0 Reaktionen · 2 zugewiesene Personen ·
-
enhancement low effort
CakeML/cakeml#55 · 3 Kommentare · 0 Reaktionen · 2 zugewiesene Personen ·
-
more readable grammar Offenhelp wanted medium effort medium reward
CakeML/cakeml#94 · 2 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
enhancement help wanted translator
CakeML/cakeml#96 · 3 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
code size enhancement high effort low reward
CakeML/cakeml#114 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
CakeML/cakeml#118 · 8 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
help wanted low reward medium effort
CakeML/cakeml#136 · 8 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
enhancement help wanted medium effort medium reward performance
CakeML/cakeml#142 · 1 Kommentar · 0 Reaktionen · 1 zugewiesene Person ·
-
dev experience medium reward tooling
CakeML/cakeml#152 · 9 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
enhancement help wanted high effort low reward
CakeML/cakeml#155 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
help wanted low effort translator
CakeML/cakeml#181 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
low effort low reward
CakeML/cakeml#183 · 0 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
good first issue help wanted low effort medium reward
CakeML/cakeml#186 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
CakeML/cakeml#216 · 5 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
good first issue performance
CakeML/cakeml#246 · 6 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
enhancement good first issue help wanted
CakeML/cakeml#248 · 11 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement help wanted high effort low reward user experience
CakeML/cakeml#264 · 8 Kommentare · 0 Reaktionen · 2 zugewiesene Personen ·
-
high effort medium reward student project
CakeML/cakeml#267 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement user experience
CakeML/cakeml#271 · 3 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
Add word shifts to basis Offenenhancement help wanted
CakeML/cakeml#274 · 4 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
CakeML/cakeml#321 · 10 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
help wanted
CakeML/cakeml#353 · 3 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
good first issue help wanted user experience
CakeML/cakeml#355 · 5 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement medium effort medium reward student project
CakeML/cakeml#367 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement medium effort medium reward
CakeML/cakeml#368 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
good first issue tooling
CakeML/cakeml#380 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement medium effort medium reward
CakeML/cakeml#411 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement help wanted high effort
CakeML/cakeml#454 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement high effort medium reward student project
CakeML/cakeml#474 · 4 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
dev experience help wanted low reward
CakeML/cakeml#480 · 7 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
CakeML/cakeml#493 · 12 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement high effort medium reward
CakeML/cakeml#499 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
help wanted
CakeML/cakeml#516 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
dev experience low effort translator
CakeML/cakeml#546 · 5 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
Upstream misc Offenrefactoring
CakeML/cakeml#549 · 2 Kommentare · 0 Reaktionen · 2 zugewiesene Personen ·
-
dev experience help wanted refactoring
CakeML/cakeml#555 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
refactoring
CakeML/cakeml#573 · 12 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
CakeML/cakeml#579 · 3 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
help wanted
CakeML/cakeml#580 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
dev experience enhancement tooling
CakeML/cakeml#586 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Lint theory names Offendev experience help wanted tooling
CakeML/cakeml#602 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
tooling
CakeML/cakeml#603 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
help wanted tooling
CakeML/cakeml#614 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement
CakeML/cakeml#640 · 4 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
refactoring
CakeML/cakeml#644 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
CakeML/cakeml#645 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
CakeML/cakeml#647 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
refactoring
CakeML/cakeml#649 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
refactoring
CakeML/cakeml#662 · 2 Kommentare · 1 Reaktion · 0 zugewiesene Personen ·
Die neuesten 100 werden angezeigt
Diese Seite listet nur das zuletzt Erfasste. Der vollständige Bestand steht im erweiterten Filter, eingegrenzt nach Sprache, Schwierigkeit und Aufwand.