CakeML/pure

Vedi su GitHub

A verified compiler for a lazy functional language

Stelle: 44
Fork: 5
Issue aperte per principianti: 0
Issue indicizzate: 43

Lingua principale: Standard ML
Licenza: Nessun dato sulla licenza
Ultimo push su GitHub: 31/12/2025
Ultima indicizzazione: 14/9/2026
Guida per i contributori: Nessuna guida per i contributori
Codice di condotta: Nessun codice di condotta
Label per principianti: Nessuna label per principianti indicizzata
Metriche di merge delle PR: Nessuna PR unita negli ultimi 30g

Adatte ai principianti Tutto

Aperta Tutte

43 issue aperte indicizzate

Augment inliner to make use of annotations Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100

CakeML/pure#75 · Aperta il 9/2/2024
Handle loop unrolling in inlining relation Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

CakeML/pure#74 · Aperta il 9/2/2024
Extend PureLang `cexp` with annotations Aperta

Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100

CakeML/pure#73 · 1 commento · Aperta il 9/2/2024
Handle user-defined inlining annotations in concrete syntax Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

CakeML/pure#72 · 1 commento · Aperta il 9/2/2024
Unverified binary generation Aperta

enhancement

Difficoltà 4/5 3-5 giorni Idoneità per principianti 38/100

CakeML/pure#70 · Aperta il 12/10/2023
Top-level proofs for TypeClassLang Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

CakeML/pure#65 · Aperta il 26/9/2023
Compilation of TypeClassLang Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100

CakeML/pure#64 · Aperta il 26/9/2023
Type inference for TypeClassLang Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

CakeML/pure#63 · Aperta il 26/9/2023
Semantics for TypeClassLang Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

CakeML/pure#62 · Aperta il 26/9/2023
Typing rules for TypeClassLang Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100

CakeML/pure#61 · Aperta il 26/9/2023
Parsing for TypeClassLang Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100

CakeML/pure#60 · 1 commento · Aperta il 26/9/2023
Designing TypeClassLang Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 18/100

CakeML/pure#59 · 1 commento · Aperta il 26/9/2023
Desugaring of `Case` Aperta

enhancement

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

CakeML/pure#58 · 1 commento · Aperta il 21/9/2023
Remove `apply_closure` from semantics Aperta

enhancement

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

CakeML/pure#56 · Aperta il 6/7/2023
Strategy for inventing fresh names Aperta

back end enhancement

Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

CakeML/pure#55 · Aperta il 4/7/2023
Preconditions in compiler translation Aperta

bug

Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100

CakeML/pure#54 · Aperta il 4/7/2023
GADTs Aperta

enhancement front end

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

CakeML/pure#53 · Aperta il 23/6/2023
Type synonyms Aperta

enhancement front end

Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100

CakeML/pure#52 · Aperta il 23/6/2023
Underscore variable names Aperta

enhancement front end

Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100

CakeML/pure#51 · Aperta il 23/6/2023
Pattern matching improvements Aperta

enhancement front end

Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100

CakeML/pure#50 · Aperta il 23/6/2023
Record types Aperta

enhancement front end

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

CakeML/pure#49 · 1 commento · Aperta il 23/6/2023
Error reporting Aperta

enhancement front end

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

CakeML/pure#48 · Aperta il 23/6/2023
Eager variables in Pure -> Thunk Aperta

back end enhancement

Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

CakeML/pure#47 · Aperta il 23/6/2023
Type classes Aperta

enhancement front end

Difficoltà 5/5 Più di una settimana Idoneità per principianti 15/100

CakeML/pure#46 · 2 commenti · Aperta il 23/6/2023
Tidy PureLang's equational theory Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

CakeML/pure#45 · Aperta il 23/6/2023
Equational theory for ThunkLang Aperta

enhancement

Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100

CakeML/pure#44 · Aperta il 23/6/2023
Compiler output for debugging and inspection Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

CakeML/pure#43 · Aperta il 23/6/2023
Remove unused theories Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

CakeML/pure#42 · Aperta il 23/6/2023
Remove "old" values Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100

CakeML/pure#41 · 1 reazione · Aperta il 23/6/2023
Complete chain of ThunkLang optimisations Aperta

back end enhancement

Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100

CakeML/pure#40 · 1 commento · Aperta il 21/6/2023
Improve Box in EnvLang Aperta

back end enhancement

Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100

CakeML/pure#39 · Aperta il 21/6/2023
Add an EnvLang pass that converts Delay Var into Box Aperta

back end enhancement

CakeML/pure#37 · 1 assegnatario · Aperta il 21/6/2023
Hoist simple lemmas and theorems Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100

CakeML/pure#36 · Aperta il 21/6/2023
Move backend relations to compiler/backend/languages/relations Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 38/100

CakeML/pure#35 · 1 commento · Aperta il 21/6/2023
Consistently follow pureLang's example of pure_exp_lemmas, pure_eval_lemmas Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

CakeML/pure#34 · Aperta il 21/6/2023
Make ThunkLang definition / lemma files follow envLang's organisation Aperta

Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100

CakeML/pure#33 · Aperta il 21/6/2023
Inlining in PureLang Aperta

back end enhancement

CakeML/pure#32 · 1 commento · 3 assegnatari · Aperta il 19/6/2023
Lightweight modules (namespaces) Aperta

enhancement front end

Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100

CakeML/pure#30 · Aperta il 15/5/2023
Check for distinct declarations in parsing Aperta

enhancement front end

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

CakeML/pure#29 · Aperta il 15/3/2023
Impossible to define/raise user-defined exceptions Aperta

enhancement front end

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

CakeML/pure#28 · 1 commento · Aperta il 21/1/2023
Compiler rejects type signatures for infix functions Aperta

enhancement front end

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

CakeML/pure#26 · Aperta il 21/1/2023
Type signature support Aperta

enhancement front end

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

CakeML/pure#25 · 2 commenti · Aperta il 21/1/2023
Make sure `case .. of True => ... | False => ...` compiles to `If ... ... ...` Aperta

back end

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

CakeML/pure#15 · 2 commenti · Aperta il 2/5/2022

CakeML/pure

Ricevi le nuove issue nella tua casella