Issues du dépôt

CakeML/cakeml

CakeML: A Verified Implementation of ML

Voir sur GitHub
Stars
 (1 169 étoiles)
Forks
 (98 forks)
Issues indexées
 (39 issues indexées)
issues débutant ouvertes
 (39 issues débutant ouvertes)
Dernière indexation
14 août 2026
Dernier push GitHub
24 juil. 2026
Licence
BSD 3-Clause "New" or "Revised" License
Guide de contribution
Aucun guide de contribution
Code de conduite
Code de conduite
Langage principal
Standard ML
Métriques de merge PR
 (Métriques PR en attente)
Labels débutant
help wantedgood first issue

Issues

39 issues indexées ouvertes

Ouverte
Remove mapPartial from mllist
good first issuelow effort
Pourquoi recommandéeAucune personne assignée · Aucun commentaire pour l'instant
Aucune personne assignéeAucun commentaire pour l'instantLabel adapté aux débutantsDépôt actif ce mois-ci

CakeML / cakeml · #1449 · 12 août 2026 · Standard ML · 1 169 étoiles

0 commentaire0 réaction0 personne assignée
Ouverte
Add contains to Char module
basis extensionsgood first issuelow effort
Pourquoi recommandéeAucune personne assignée · Aucun commentaire pour l'instant
Aucune personne assignéeAucun commentaire pour l'instantLabel adapté aux débutantsDépôt actif ce mois-ci

CakeML / cakeml · #1433 · 18 juil. 2026 · Standard ML · 1 169 étoiles

0 commentaire0 réaction0 personne assignée
Ouverte
Make chars_to_nums tail-recursive?
dev experiencegood first issuehelp wanted
Pourquoi recommandéeAucune personne assignée · Label adapté aux débutants
Aucune personne assignéeLabel adapté aux débutantsDépôt actif ce mois-ci

CakeML / cakeml · #1392 · 18 mai 2026 · Standard ML · 1 169 étoiles

1 commentaire0 réaction0 personne assignée
Ouverte
Remove set_trace on var_eq_old
help wantedrefactoring
Pourquoi recommandéeLabel adapté aux débutants · Dépôt actif ce mois-ci
Label adapté aux débutantsDépôt actif ce mois-ci

CakeML / cakeml · #1171 · 7 mai 2025 · Standard ML · 1 169 étoiles

4 commentaires0 réaction1 personne assignée
Ouverte
Constant propagation in word_simp
good first issuelow effort
Pourquoi recommandéeAucune personne assignée · Label adapté aux débutants
Aucune personne assignéeLabel adapté aux débutantsDépôt actif ce mois-ci

CakeML / cakeml · #1168 · 5 mai 2025 · Standard ML · 1 169 étoiles

6 commentaires0 réaction0 personne assignée
Ouverte
Refactor to use extended numerals.
dev experiencegood first issuerefactoring
Pourquoi recommandéeAucune personne assignée · Label adapté aux débutants
Aucune personne assignéeLabel adapté aux débutantsDépôt actif ce mois-ci

CakeML / cakeml · #1167 · 1 mai 2025 · Standard ML · 1 169 étoiles

1 commentaire0 réaction0 personne assignée
Ouverte
Improved representation of strings
enhancementhelp wantedhigh reward
Pourquoi recommandéeAucune personne assignée · Label adapté aux débutants
Aucune personne assignéeLabel adapté aux débutantsDépôt actif ce mois-ci

CakeML / cakeml · #1160 · 21 avr. 2025 · Standard ML · 1 169 étoiles

1 commentaire0 réaction0 personne assignée
Ouverte
Remove Q.prove in ml_monad_translator_interfaceLib
good first issuerefactoring
Pourquoi recommandéeAucune personne assignée · Label adapté aux débutants
Aucune personne assignéeLabel adapté aux débutantsDépôt actif ce mois-ci

CakeML / cakeml · #1153 · 4 avr. 2025 · Standard ML · 1 169 étoiles

2 commentaires0 réaction0 personne assignée
Ouverte
Formalise DEFLATE and add implementation to examples
enhancementgood first issuemedium effort
Pourquoi recommandéeAucune personne assignée · Label adapté aux débutants
Aucune personne assignéeLabel adapté aux débutantsDépôt actif ce mois-ci

CakeML / cakeml · #806 · 16 nov. 2020 · Standard ML · 1 169 étoiles

7 commentaires0 réaction0 personne assignée
Ouverte
Platform for unverified assembly-level experiments
dev experienceenhancementgood first issuehigh rewarduser experience
Pourquoi recommandéeAucune personne assignée · Label adapté aux débutants
Aucune personne assignéeLabel adapté aux débutantsDépôt actif ce mois-ci

CakeML / cakeml · #798 · 15 oct. 2020 · Standard ML · 1 169 étoiles

1 commentaire0 réaction0 personne assignée
Ouverte
The encoders are _big_
dev experienceenhancementgood first issuehigh reward
Pourquoi recommandéeAucune personne assignée · Label adapté aux débutants
Aucune personne assignéeLabel adapté aux débutantsDépôt actif ce mois-ci

CakeML / cakeml · #793 · 15 oct. 2020 · Standard ML · 1 169 étoiles

1 commentaire0 réaction0 personne assignée
Ouverte
Better encoding for immediate constants
code sizeenhancementgood first issuemedium rewardperformance
Pourquoi recommandéeAucune personne assignée · Aucun commentaire pour l'instant
Aucune personne assignéeAucun commentaire pour l'instantLabel adapté aux débutantsDépôt actif ce mois-ci

CakeML / cakeml · #789 · 24 sept. 2020 · Standard ML · 1 169 étoiles

0 commentaire0 réaction0 personne assignée
Ouverte
Make the heap base pointer optional
code sizeenhancementgood first issuemedium rewardperformance
Pourquoi recommandéeAucune personne assignée · Aucun commentaire pour l'instant
Aucune personne assignéeAucun commentaire pour l'instantLabel adapté aux débutantsDépôt actif ce mois-ci

CakeML / cakeml · #766 · 17 sept. 2020 · Standard ML · 1 169 étoiles

0 commentaire0 réaction0 personne assignée
Ouverte
Soft float fallback
enhancementgood first issuemedium rewarduser experience
Pourquoi recommandéeAucune personne assignée · Aucun commentaire pour l'instant
Aucune personne assignéeAucun commentaire pour l'instantLabel adapté aux débutantsDépôt actif ce mois-ci

CakeML / cakeml · #760 · 17 sept. 2020 · Standard ML · 1 169 étoiles

0 commentaire0 réaction0 personne assignée
Ouverte
Variable length instructions on arm7 and riscv
code sizeenhancementgood first issuehigh reward
Pourquoi recommandéeAucune personne assignée · Aucun commentaire pour l'instant
Aucune personne assignéeAucun commentaire pour l'instantLabel adapté aux débutantsDépôt actif ce mois-ci

CakeML / cakeml · #756 · 17 sept. 2020 · Standard ML · 1 169 étoiles

0 commentaire0 réaction0 personne assignée
Ouverte
Update CakeML tutorial to use monadic translator
help wanted
Pourquoi recommandéeAucune personne assignée · Label adapté aux débutants
Aucune personne assignéeLabel adapté aux débutantsDépôt actif ce mois-ci

CakeML / cakeml · #697 · 6 nov. 2019 · Standard ML · 1 169 étoiles

1 commentaire0 réaction0 personne assignée
Ouverte
Replace wc.sh with a CakeML program
help wantedtooling
Pourquoi recommandéeAucune personne assignée · Aucun commentaire pour l'instant
Aucune personne assignéeAucun commentaire pour l'instantLabel adapté aux débutantsDépôt actif ce mois-ci

CakeML / cakeml · #614 · 31 janv. 2019 · Standard ML · 1 169 étoiles

0 commentaire0 réaction0 personne assignée
Ouverte
Lint theory names
dev experiencehelp wantedtooling
Pourquoi recommandéeAucune personne assignée · Label adapté aux débutants
Aucune personne assignéeLabel adapté aux débutantsDépôt actif ce mois-ci

CakeML / cakeml · #602 · 15 janv. 2019 · Standard ML · 1 169 étoiles

1 commentaire0 réaction0 personne assignée
Ouverte
ACL2 version of the semantics of CakeML
help wanted
Pourquoi recommandéeAucune personne assignée · Label adapté aux débutants
Aucune personne assignéeLabel adapté aux débutantsDépôt actif ce mois-ci

CakeML / cakeml · #580 · 10 déc. 2018 · Standard ML · 1 169 étoiles

1 commentaire0 réaction0 personne assignée
Ouverte
Automate packaging built copies of CakeML
dev experiencehelp wantedrefactoring
Pourquoi recommandéeAucune personne assignée · Label adapté aux débutants
Aucune personne assignéeLabel adapté aux débutantsDépôt actif ce mois-ci

CakeML / cakeml · #555 · 18 nov. 2018 · Standard ML · 1 169 étoiles

1 commentaire0 réaction0 personne assignée