CakeML/cakeml
View on GitHubCakeML: A Verified Implementation of ML
- Stars
- 1.2k
- Forks
- 104
- Open beginner issues
- 0
- Indexed issues
- 230
- Avg merge
- 2d 21h
- Merged PRs (30d)
- 16
- Dominant language
- Standard ML
- License
- BSD-3-Clause
- Last GitHub push
- Sep 14, 2026
- Latest indexed
- Sep 14, 2026
- Contributing guide
- No contributing guide
- Code of conduct
- Code of conduct
- Beginner labels
- help wanted good first issue
-
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