CakeML/pure

View on GitHub

A verified compiler for a lazy functional language

Stars: 44
Forks: 5
Open beginner issues: 0
Indexed issues: 43

Dominant language: Standard ML
License: No license data
Last GitHub push: Dec 31, 2025
Latest indexed: Sep 14, 2026
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Beginner labels: No beginner labels indexed
PR merge metrics: No merged PRs in 30d

Open All

43 open issues indexed

Make sure `case .. of True => ... | False => ...` compiles to `If ... ... ...` Open

back end

CakeML/pure#15 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Type signature support Open

enhancement front end

CakeML/pure#25 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Compiler rejects type signatures for infix functions Open

enhancement front end

CakeML/pure#26 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Impossible to define/raise user-defined exceptions Open

enhancement front end

CakeML/pure#28 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Check for distinct declarations in parsing Open

enhancement front end

CakeML/pure#29 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Lightweight modules (namespaces) Open

enhancement front end

CakeML/pure#30 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Inlining in PureLang Open

back end enhancement

CakeML/pure#32 · 1 comment · 0 reactions · 3 assignees · Indexed Sep 14, 2026
Make ThunkLang definition / lemma files follow envLang's organisation Open

CakeML/pure#33 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Consistently follow pureLang's example of pure_exp_lemmas, pure_eval_lemmas Open

CakeML/pure#34 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Move backend relations to compiler/backend/languages/relations Open

CakeML/pure#35 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Hoist simple lemmas and theorems Open

CakeML/pure#36 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Add an EnvLang pass that converts Delay Var into Box Open

back end enhancement

CakeML/pure#37 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 14, 2026
Improve Box in EnvLang Open

back end enhancement

CakeML/pure#39 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Complete chain of ThunkLang optimisations Open

back end enhancement

CakeML/pure#40 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Remove "old" values Open

CakeML/pure#41 · 0 comments · 1 reaction · 0 assignees · Indexed Sep 14, 2026
Remove unused theories Open

CakeML/pure#42 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Compiler output for debugging and inspection Open

CakeML/pure#43 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Equational theory for ThunkLang Open

enhancement

CakeML/pure#44 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Tidy PureLang's equational theory Open

CakeML/pure#45 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Type classes Open

enhancement front end

CakeML/pure#46 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Eager variables in Pure -> Thunk Open

back end enhancement

CakeML/pure#47 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Error reporting Open

enhancement front end

CakeML/pure#48 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Record types Open

enhancement front end

CakeML/pure#49 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Pattern matching improvements Open

enhancement front end

CakeML/pure#50 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Underscore variable names Open

enhancement front end

CakeML/pure#51 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Type synonyms Open

enhancement front end

CakeML/pure#52 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
GADTs Open

enhancement front end

CakeML/pure#53 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Preconditions in compiler translation Open

bug

CakeML/pure#54 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Strategy for inventing fresh names Open

back end enhancement

CakeML/pure#55 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Remove `apply_closure` from semantics Open

enhancement

CakeML/pure#56 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Desugaring of `Case` Open

enhancement

CakeML/pure#58 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Designing TypeClassLang Open

CakeML/pure#59 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Parsing for TypeClassLang Open

CakeML/pure#60 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Typing rules for TypeClassLang Open

CakeML/pure#61 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Semantics for TypeClassLang Open

CakeML/pure#62 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Type inference for TypeClassLang Open

CakeML/pure#63 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Compilation of TypeClassLang Open

CakeML/pure#64 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Top-level proofs for TypeClassLang Open

CakeML/pure#65 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Unverified binary generation Open

enhancement

CakeML/pure#70 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Handle user-defined inlining annotations in concrete syntax Open

CakeML/pure#72 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Extend PureLang `cexp` with annotations Open

CakeML/pure#73 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Handle loop unrolling in inlining relation Open

CakeML/pure#74 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Augment inliner to make use of annotations Open

CakeML/pure#75 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026

CakeML/pure

Get new issues in your inbox