Repository Issues

CakeML/cakeml

CakeML: A Verified Implementation of ML

View on GitHub
Stars
 (1,169 stars)
Forks
 (98 forks)
Indexed issues
 (38 indexed issues)
open beginner issues
 (0 open beginner issues)
Latest indexed
Jul 24, 2026
Last GitHub push
Jul 24, 2026
License
BSD 3-Clause "New" or "Revised" License
Contributing guide
No contributing guide
Code of conduct
Code of conduct
Dominant language
Standard ML
PR merge metrics
 (PR metrics pending)
Beginner labels
No beginner labels indexed

Issues

38 open indexed issues

RSSAtom
Open
Add contains to Char module
basis extensionsgood first issuelow effort

CakeML/cakeml #1,433 opened Jul 18, 2026 · Standard ML · 1,169 stars

Why recommendedNo assignee yet · No comments yet
No assignee yetNo comments yetHas a beginner-friendly label
0 comments0 reactions0 assignees
Open
Make chars_to_nums tail-recursive?
dev experiencegood first issuehelp wanted

CakeML/cakeml #1,392 opened May 18, 2026 · Standard ML · 1,169 stars

Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly label
1 comment0 reactions0 assignees
Open
Remove set_trace on var_eq_old
help wantedrefactoring

CakeML/cakeml #1,171 opened May 7, 2025 · Standard ML · 1,169 stars

Why recommendedHas a beginner-friendly label
Has a beginner-friendly label
4 comments0 reactions1 assignee
Open
Constant propagation in word_simp
good first issuelow effort

CakeML/cakeml #1,168 opened May 5, 2025 · Standard ML · 1,169 stars

Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly label
6 comments0 reactions0 assignees
Open
Refactor to use extended numerals.
dev experiencegood first issuerefactoring

CakeML/cakeml #1,167 opened May 1, 2025 · Standard ML · 1,169 stars

Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly label
1 comment0 reactions0 assignees
Open
Improved representation of strings
enhancementhelp wantedhigh reward

CakeML/cakeml #1,160 opened Apr 21, 2025 · Standard ML · 1,169 stars

Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly label
1 comment0 reactions0 assignees
Open
Platform for unverified assembly-level experiments
dev experienceenhancementgood first issuehigh rewarduser experience

CakeML/cakeml #798 opened Oct 15, 2020 · Standard ML · 1,169 stars

Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly label
1 comment0 reactions0 assignees
Open
The encoders are _big_
dev experienceenhancementgood first issuehigh reward

CakeML/cakeml #793 opened Oct 15, 2020 · Standard ML · 1,169 stars

Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly label
1 comment0 reactions0 assignees
Open
Better encoding for immediate constants
code sizeenhancementgood first issuemedium rewardperformance

CakeML/cakeml #789 opened Sep 24, 2020 · Standard ML · 1,169 stars

Why recommendedNo assignee yet · No comments yet
No assignee yetNo comments yetHas a beginner-friendly label
0 comments0 reactions0 assignees
Open
Make the heap base pointer optional
code sizeenhancementgood first issuemedium rewardperformance

CakeML/cakeml #766 opened Sep 17, 2020 · Standard ML · 1,169 stars

Why recommendedNo assignee yet · No comments yet
No assignee yetNo comments yetHas a beginner-friendly label
0 comments0 reactions0 assignees
Open
Soft float fallback
enhancementgood first issuemedium rewarduser experience

CakeML/cakeml #760 opened Sep 17, 2020 · Standard ML · 1,169 stars

Why recommendedNo assignee yet · No comments yet
No assignee yetNo comments yetHas a beginner-friendly label
0 comments0 reactions0 assignees
Open
Variable length instructions on arm7 and riscv
code sizeenhancementgood first issuehigh reward

CakeML/cakeml #756 opened Sep 17, 2020 · Standard ML · 1,169 stars

Why recommendedNo assignee yet · No comments yet
No assignee yetNo comments yetHas a beginner-friendly label
0 comments0 reactions0 assignees
Open
Replace wc.sh with a CakeML program
help wantedtooling

CakeML/cakeml #614 opened Jan 31, 2019 · Standard ML · 1,169 stars

Why recommendedNo assignee yet · No comments yet
No assignee yetNo comments yetHas a beginner-friendly label
0 comments0 reactions0 assignees
Open
Lint theory names
dev experiencehelp wantedtooling

CakeML/cakeml #602 opened Jan 15, 2019 · Standard ML · 1,169 stars

Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly label
1 comment0 reactions0 assignees
Open
ACL2 version of the semantics of CakeML
help wanted

CakeML/cakeml #580 opened Dec 10, 2018 · Standard ML · 1,169 stars

Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly label
1 comment0 reactions0 assignees
Open
Automate packaging built copies of CakeML
dev experiencehelp wantedrefactoring

CakeML/cakeml #555 opened Nov 18, 2018 · Standard ML · 1,169 stars

Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly label
1 comment0 reactions0 assignees