Repository Issues

CakeML/cakeml

CakeML: A Verified Implementation of ML

View on GitHub
Stars
 (1,169 stars)
Forks
 (98 forks)
Indexed issues
 (39 indexed issues)
open beginner issues
 (39 open beginner issues)
Latest indexed
Aug 14, 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
help wantedgood first issue

Issues

39 open indexed issues

Open
Remove mapPartial from mllist
good first issuelow effort
Why recommendedNo assignee yet · No comments yet
No assignee yetNo comments yetHas a beginner-friendly labelRepository active this month

CakeML / cakeml · #1449 · Aug 12, 2026 · Standard ML · 1,169 stars

0 comments0 reactions0 assignees
Open
Add contains to Char module
basis extensionsgood first issuelow effort
Why recommendedNo assignee yet · No comments yet
No assignee yetNo comments yetHas a beginner-friendly labelRepository active this month

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

0 comments0 reactions0 assignees
Open
Make chars_to_nums tail-recursive?
dev experiencegood first issuehelp wanted
Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly labelRepository active this month

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

1 comment0 reactions0 assignees
Open
Remove set_trace on var_eq_old
help wantedrefactoring
Why recommendedHas a beginner-friendly label · Repository active this month
Has a beginner-friendly labelRepository active this month

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

4 comments0 reactions1 assignee
Open
Constant propagation in word_simp
good first issuelow effort
Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly labelRepository active this month

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

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

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

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

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

1 comment0 reactions0 assignees
Open
Remove Q.prove in ml_monad_translator_interfaceLib
good first issuerefactoring
Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly labelRepository active this month

CakeML / cakeml · #1153 · Apr 4, 2025 · Standard ML · 1,169 stars

2 comments0 reactions0 assignees
Open
Formalise DEFLATE and add implementation to examples
enhancementgood first issuemedium effort
Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly labelRepository active this month

CakeML / cakeml · #806 · Nov 16, 2020 · Standard ML · 1,169 stars

7 comments0 reactions0 assignees
Open
Platform for unverified assembly-level experiments
dev experienceenhancementgood first issuehigh rewarduser experience
Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly labelRepository active this month

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

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

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

1 comment0 reactions0 assignees
Open
Better encoding for immediate constants
code sizeenhancementgood first issuemedium rewardperformance
Why recommendedNo assignee yet · No comments yet
No assignee yetNo comments yetHas a beginner-friendly labelRepository active this month

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

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

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

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

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

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

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

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

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

0 comments0 reactions0 assignees
Open
Lint theory names
dev experiencehelp wantedtooling
Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly labelRepository active this month

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

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

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

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

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

1 comment0 reactions0 assignees