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
-
low priority
CakeML/cakeml#663 · 0 comments · 0 reactions · 0 assignees ·
-
low priority
CakeML/cakeml#664 · 0 comments · 0 reactions · 0 assignees ·
-
low priority
CakeML/cakeml#665 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement
-
enhancement student project
CakeML/cakeml#669 · 3 comments · 0 reactions · 0 assignees ·
-
CakeML/cakeml#676 · 3 comments · 0 reactions · 0 assignees ·
-
help wanted
-
translator
CakeML/cakeml#705 · 0 comments · 0 reactions · 0 assignees ·
-
w1 ₃₂→₁₆ w2 Openenhancement
CakeML/cakeml#713 · 5 comments · 0 reactions · 0 assignees ·
-
enhancement translator
CakeML/cakeml#717 · 0 comments · 0 reactions · 0 assignees ·
-
CakeML/cakeml#730 · 2 comments · 0 reactions · 0 assignees ·
-
CakeML/cakeml#753 · 2 comments · 0 reactions · 0 assignees ·
-
Unified compiler Opencode size dev experience enhancement high effort medium reward uncertain scope user experience
CakeML/cakeml#755 · 0 comments · 0 reactions · 0 assignees ·
-
code size enhancement good first issue high reward
CakeML/cakeml#756 · 0 comments · 0 reactions · 0 assignees ·
-
code size enhancement medium effort medium reward user experience
CakeML/cakeml#757 · 0 comments · 0 reactions · 0 assignees ·
-
code size enhancement low reward medium effort uncertain scope
CakeML/cakeml#759 · 0 comments · 0 reactions · 0 assignees ·
-
Soft float fallback Openenhancement good first issue medium reward user experience
CakeML/cakeml#760 · 0 comments · 0 reactions · 0 assignees ·
-
Call-saved registers Opencode size enhancement medium effort medium reward performance
CakeML/cakeml#761 · 0 comments · 0 reactions · 0 assignees ·
-
code size enhancement low effort medium reward
CakeML/cakeml#762 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement medium effort medium reward performance
CakeML/cakeml#763 · 0 comments · 0 reactions · 0 assignees ·
-
Functional SSA Opencode size enhancement high effort high reward performance
CakeML/cakeml#764 · 0 comments · 0 reactions · 0 assignees ·
-
dev experience enhancement low effort medium reward user experience
CakeML/cakeml#765 · 0 comments · 0 reactions · 0 assignees ·
-
code size enhancement good first issue medium reward performance
CakeML/cakeml#766 · 0 comments · 0 reactions · 0 assignees ·
-
Align fewer labels Opencode size enhancement medium effort medium reward
-
enhancement high effort high reward user experience
CakeML/cakeml#771 · 0 comments · 0 reactions · 0 assignees ·
-
dev experience enhancement high effort high reward user experience
-
dev experience enhancement high reward low effort user experience
CakeML/cakeml#774 · 0 comments · 0 reactions · 0 assignees ·
-
dev experience enhancement low effort low reward tooling
CakeML/cakeml#776 · 2 comments · 0 reactions · 0 assignees ·
-
enhancement high reward medium effort user experience
CakeML/cakeml#777 · 0 comments · 0 reactions · 0 assignees ·
-
code size enhancement low reward medium effort performance
CakeML/cakeml#778 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement high effort performance uncertain scope
CakeML/cakeml#779 · 0 comments · 0 reactions · 0 assignees ·
-
More bignum options Openenhancement high effort low reward performance
CakeML/cakeml#781 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement high reward medium effort user experience
CakeML/cakeml#782 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement high effort medium reward uncertain scope user experience
-
Tagged adds Opencode size enhancement high effort medium reward performance
CakeML/cakeml#784 · 0 comments · 0 reactions · 0 assignees ·
-
dev experience enhancement low effort medium reward tooling
CakeML/cakeml#785 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement high effort low reward performance uncertain scope
CakeML/cakeml#786 · 2 comments · 0 reactions · 0 assignees ·
-
enhancement medium effort medium reward user experience
CakeML/cakeml#787 · 0 comments · 0 reactions · 0 assignees ·
-
code size enhancement good first issue medium reward performance
CakeML/cakeml#789 · 0 comments · 0 reactions · 0 assignees ·
-
code size enhancement medium effort medium reward
CakeML/cakeml#790 · 0 comments · 0 reactions · 0 assignees ·
-
dev experience enhancement good first issue high reward
-
dev experience enhancement low effort medium reward
CakeML/cakeml#794 · 0 comments · 0 reactions · 0 assignees ·
-
32-bit riscv port Openenhancement uncertain scope user experience
CakeML/cakeml#795 · 0 comments · 0 reactions · 0 assignees ·
-
dev experience enhancement good first issue high reward user experience
-
enhancement high effort high reward performance uncertain scope
CakeML/cakeml#799 · 0 comments · 0 reactions · 0 assignees ·
-
Intrinsics system Opendev experience enhancement high effort medium effort
CakeML/cakeml#800 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement medium effort medium reward user experience
CakeML/cakeml#801 · 0 comments · 0 reactions · 0 assignees ·