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
Export CakeML proofs in OpenTheory format
help wanted
Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly labelRepository active this month

CakeML / cakeml · #516 · Aug 25, 2018 · Standard ML · 1,169 stars

1 comment0 reactions0 assignees
Open
astPP doesn't print algebraic datatype correctly
dev experiencehelp wantedlow reward
Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly labelRepository active this month

CakeML / cakeml · #480 · Apr 6, 2018 · Standard ML · 1,169 stars

7 comments0 reactions0 assignees
Open
Reducing boxing and unboxing of Word64 values
enhancementhelp wantedhigh effort
Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly labelRepository active this month

CakeML / cakeml · #454 · Feb 6, 2018 · Standard ML · 1,169 stars

1 comment0 reactions0 assignees
Open
Implement make_ex in CakeML
good first issuetooling
Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly labelRepository active this month

CakeML / cakeml · #380 · Nov 17, 2017 · Standard ML · 1,169 stars

1 comment0 reactions0 assignees
Open
Use a file-based I/O interface to the compiler
good first issuehelp wanteduser experience
Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly labelRepository active this month

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

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

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

3 comments0 reactions0 assignees
Open
Add word shifts to basis
enhancementhelp wanted
Why recommendedHas a beginner-friendly label · Repository active this month
Has a beginner-friendly labelRepository active this month

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

3 comments0 reactions1 assignee
Open
Implement `get_opt` in the basis library
enhancementgood first issuehelp wanted
Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly labelRepository active this month

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

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

CakeML / cakeml · #186 · Nov 26, 2016 · Standard ML · 1,169 stars

1 comment0 reactions0 assignees
Open
Support custom failure exceptions in the translator
help wantedlow efforttranslator
Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly labelRepository active this month

CakeML / cakeml · #181 · Nov 24, 2016 · Standard ML · 1,169 stars

1 comment0 reactions0 assignees
Open
Remove unnecessary header words
enhancementhelp wantedmedium effortmedium rewardperformance
Why recommendedHas a beginner-friendly label · Repository active this month
Has a beginner-friendly labelRepository active this month

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

1 comment0 reactions1 assignee
Open
make the translator as stateless as possible
enhancementhelp wantedtranslator
Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly labelRepository active this month

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

3 comments0 reactions0 assignees
Open
more readable grammar
help wantedmedium effortmedium reward
Why recommendedHas a beginner-friendly label · Repository active this month
Has a beginner-friendly labelRepository active this month

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

2 comments0 reactions1 assignee
Open
target real ELF files for x86-64
help wantedmedium reward
Why recommendedHas a beginner-friendly label · Repository active this month
Has a beginner-friendly labelRepository active this month

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

6 comments0 reactions2 assignees