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
-
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 ·
Showing the newest 100
This page lists what was indexed most recently. Advanced filter has the whole inventory, narrowed by language, difficulty and how long a task takes.