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
Export CakeML proofs in OpenTheory format
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 · #516 · 25 août 2018 · Standard ML · 1 169 étoiles

1 commentaire0 réaction0 personne assignée
Ouverte
astPP doesn't print algebraic datatype correctly
dev experiencehelp wantedlow 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 · #480 · 6 avr. 2018 · Standard ML · 1 169 étoiles

7 commentaires0 réaction0 personne assignée
Ouverte
Reducing boxing and unboxing of Word64 values
enhancementhelp wantedhigh 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 · #454 · 6 févr. 2018 · Standard ML · 1 169 étoiles

1 commentaire0 réaction0 personne assignée
Ouverte
Implement make_ex in CakeML
good first issuetooling
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 · #380 · 17 nov. 2017 · Standard ML · 1 169 étoiles

1 commentaire0 réaction0 personne assignée
Ouverte
Use a file-based I/O interface to the compiler
good first issuehelp wanteduser 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 · #355 · 26 oct. 2017 · Standard ML · 1 169 étoiles

5 commentaires0 réaction0 personne assignée
Ouverte
Implement lexer on mlstrings
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 · #353 · 26 oct. 2017 · Standard ML · 1 169 étoiles

3 commentaires0 réaction0 personne assignée
Ouverte
Add word shifts to basis
enhancementhelp wanted
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 · #274 · 3 mai 2017 · Standard ML · 1 169 étoiles

3 commentaires0 réaction1 personne assignée
Ouverte
Support for multi-case functions defined by pattern matching
enhancementhelp wantedhigh effortlow rewarduser experience
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 · #264 · 23 avr. 2017 · Standard ML · 1 169 étoiles

8 commentaires0 réaction2 personnes assignées
Ouverte
Implement `get_opt` in the basis library
enhancementgood 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 · #248 · 13 mars 2017 · Standard ML · 1 169 étoiles

11 commentaires0 réaction0 personne assignée
Ouverte
Reduce GiveUps in data_to_word
good first issuehelp wantedlow effortmedium 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 · #186 · 26 nov. 2016 · Standard ML · 1 169 étoiles

1 commentaire0 réaction0 personne assignée
Ouverte
Support custom failure exceptions in the translator
help wantedlow efforttranslator
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 · #181 · 24 nov. 2016 · Standard ML · 1 169 étoiles

1 commentaire0 réaction0 personne assignée
Ouverte
Avoid going through calling convention when entering Handle
enhancementhelp wantedhigh effortlow 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 · #155 · 28 sept. 2016 · Standard ML · 1 169 étoiles

0 commentaire0 réaction0 personne assignée
Ouverte
Remove unnecessary header words
enhancementhelp wantedmedium effortmedium rewardperformance
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 · #142 · 1 sept. 2016 · Standard ML · 1 169 étoiles

1 commentaire0 réaction1 personne assignée
Ouverte
make the translator as stateless as possible
enhancementhelp wantedtranslator
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 · #96 · 30 janv. 2016 · Standard ML · 1 169 étoiles

3 commentaires0 réaction0 personne assignée
Ouverte
more readable grammar
help wantedmedium effortmedium reward
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 · #94 · 28 nov. 2015 · Standard ML · 1 169 étoiles

2 commentaires0 réaction1 personne assignée
Ouverte
target real ELF files for x86-64
help wantedmedium reward
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 · #38 · 23 juin 2015 · Standard ML · 1 169 étoiles

6 commentaires0 réaction2 personnes assignées