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
Reducing boxing and unboxing of Word64 values
enhancementhelp wantedhigh effort

CakeML/cakeml #454 opened Feb 6, 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
Implement make_ex in CakeML
good first issuetooling

CakeML/cakeml #380 opened Nov 17, 2017 · 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
Use a file-based I/O interface to the compiler
good first issuehelp wanteduser experience

CakeML/cakeml #355 opened Oct 26, 2017 · Standard ML · 1,169 stars

Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly label
5 comments0 reactions0 assignees
Open
Implement lexer on mlstrings
help wanted

CakeML/cakeml #353 opened Oct 26, 2017 · Standard ML · 1,169 stars

Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly label
3 comments0 reactions0 assignees
Open
Add word shifts to basis
enhancementhelp wanted

CakeML/cakeml #274 opened May 3, 2017 · Standard ML · 1,169 stars

Why recommendedHas a beginner-friendly label
Has a beginner-friendly label
3 comments0 reactions1 assignee
Open
Implement `get_opt` in the basis library
enhancementgood first issuehelp wanted

CakeML/cakeml #248 opened Mar 13, 2017 · Standard ML · 1,169 stars

Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly label
11 comments0 reactions0 assignees
Open
Reduce GiveUps in data_to_word
good first issuehelp wantedlow effortmedium reward

CakeML/cakeml #186 opened Nov 26, 2016 · 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 unnecessary header words
enhancementhelp wantedmedium effortmedium rewardperformance

CakeML/cakeml #142 opened Sep 1, 2016 · Standard ML · 1,169 stars

Why recommendedHas a beginner-friendly label
Has a beginner-friendly label
1 comment0 reactions1 assignee
Open
make the translator as stateless as possible
enhancementhelp wantedtranslator

CakeML/cakeml #96 opened Jan 30, 2016 · Standard ML · 1,169 stars

Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly label
3 comments0 reactions0 assignees
Open
more readable grammar
help wantedmedium effortmedium reward

CakeML/cakeml #94 opened Nov 28, 2015 · Standard ML · 1,169 stars

Why recommendedHas a beginner-friendly label
Has a beginner-friendly label
2 comments0 reactions1 assignee
Open
target real ELF files for x86-64
help wantedmedium reward

CakeML/cakeml #38 opened Jun 23, 2015 · Standard ML · 1,169 stars

Why recommendedHas a beginner-friendly label
Has a beginner-friendly label
6 comments0 reactions2 assignees