Owner
CakeML
4 indexed repositories · View on GitHub
-
cakeml
CakeML: A Verified Implementation of ML
Standard ML · 1193 stars
-
pure
A verified compiler for a lazy functional language
Standard ML · 44 stars
-
regression
Regression testing infrastructure for CakeML
Standard ML · 4 stars
-
Standard ML · 2 stars
-
help wanted high effort medium reward translator
-
help wanted medium reward
-
enhancement low effort
-
help wanted medium effort medium reward
-
enhancement help wanted translator
-
code size enhancement high effort low reward
-
CakeML/cakeml#118 · 8 comments · 0 reactions · 0 assignees ·
-
help wanted low reward medium effort
-
enhancement help wanted medium effort medium reward performance
-
dev experience medium reward tooling
-
enhancement help wanted high effort low reward
CakeML/cakeml#155 · 0 comments · 0 reactions · 0 assignees ·
-
help wanted low effort translator
-
low effort low reward
-
good first issue help wanted low effort medium reward
-
CakeML/cakeml#216 · 5 comments · 0 reactions · 0 assignees ·
-
good first issue performance
-
enhancement good first issue help wanted
CakeML/cakeml#248 · 11 comments · 0 reactions · 0 assignees ·
-
enhancement help wanted high effort low reward user experience
CakeML/cakeml#264 · 8 comments · 0 reactions · 2 assignees ·
-
high effort medium reward student project
CakeML/cakeml#267 · 2 comments · 0 reactions · 0 assignees ·
-
enhancement user experience
-
enhancement help wanted
-
CakeML/cakeml#321 · 10 comments · 0 reactions · 1 assignee ·
-
help wanted
CakeML/cakeml#353 · 3 comments · 0 reactions · 0 assignees ·
-
good first issue help wanted user experience
CakeML/cakeml#355 · 5 comments · 0 reactions · 0 assignees ·
-
enhancement medium effort medium reward student project
CakeML/cakeml#367 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement medium effort medium reward
-
good first issue tooling
-
enhancement medium effort medium reward
-
enhancement help wanted high effort
-
enhancement high effort medium reward student project
-
dev experience help wanted low reward
CakeML/cakeml#480 · 7 comments · 0 reactions · 0 assignees ·
-
CakeML/cakeml#493 · 12 comments · 0 reactions · 0 assignees ·
-
enhancement high effort medium reward
CakeML/cakeml#499 · 2 comments · 0 reactions · 0 assignees ·
-
help wanted
-
dev experience low effort translator
-
Upstream misc Openrefactoring
CakeML/cakeml#549 · 2 comments · 0 reactions · 2 assignees ·
-
dev experience help wanted refactoring
-
refactoring
CakeML/cakeml#573 · 12 comments · 0 reactions · 0 assignees ·
-
help wanted
-
dev experience enhancement tooling
CakeML/cakeml#586 · 0 comments · 0 reactions · 0 assignees ·
-
Lint theory names Opendev experience help wanted tooling
-
tooling
CakeML/cakeml#603 · 0 comments · 0 reactions · 0 assignees ·
-
help wanted tooling
CakeML/cakeml#614 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement
CakeML/cakeml#640 · 4 comments · 0 reactions · 0 assignees ·
-
refactoring
CakeML/cakeml#644 · 2 comments · 0 reactions · 0 assignees ·
-
CakeML/cakeml#645 · 2 comments · 0 reactions · 0 assignees ·
-
refactoring
CakeML/cakeml#649 · 0 comments · 0 reactions · 0 assignees ·
-
refactoring