Issues do repositório

CakeML/cakeml

CakeML: A Verified Implementation of ML

Ver no GitHub
Stars
 (1.169 estrelas)
Forks
 (98 forks)
Issues indexadas
 (39 issues indexadas)
issues iniciantes abertas
 (39 issues iniciantes abertas)
Última indexação
14 de ago. de 2026
Último push no GitHub
24 de jul. de 2026
Guia de contribuição
Nenhum guia de contribuição
Código de conduta
Código de conduta
Linguagem principal
Standard ML
Métricas de merge de PR
 (Métricas PR pendentes)
Labels para iniciantes
help wantedgood first issue

Issues

39 issues indexadas

Aberta
Remove mapPartial from mllist
good first issuelow effort
Por que recomendamosAinda sem responsável · Ainda sem comentários
Ainda sem responsávelAinda sem comentáriosTem label amigável para iniciantesRepositório ativo este mês

CakeML / cakeml · #1449 · 12 de ago. de 2026 · Standard ML · 1.169 estrelas

0 comentário0 reação0 responsável
Aberta
Add contains to Char module
basis extensionsgood first issuelow effort
Por que recomendamosAinda sem responsável · Ainda sem comentários
Ainda sem responsávelAinda sem comentáriosTem label amigável para iniciantesRepositório ativo este mês

CakeML / cakeml · #1433 · 18 de jul. de 2026 · Standard ML · 1.169 estrelas

0 comentário0 reação0 responsável
Aberta
Make chars_to_nums tail-recursive?
dev experiencegood first issuehelp wanted
Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes
Ainda sem responsávelTem label amigável para iniciantesRepositório ativo este mês

CakeML / cakeml · #1392 · 18 de mai. de 2026 · Standard ML · 1.169 estrelas

1 comentário0 reação0 responsável
Aberta
Remove set_trace on var_eq_old
help wantedrefactoring
Por que recomendamosTem label amigável para iniciantes · Repositório ativo este mês
Tem label amigável para iniciantesRepositório ativo este mês

CakeML / cakeml · #1171 · 7 de mai. de 2025 · Standard ML · 1.169 estrelas

4 comentários0 reação1 responsável
Aberta
Constant propagation in word_simp
good first issuelow effort
Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes
Ainda sem responsávelTem label amigável para iniciantesRepositório ativo este mês

CakeML / cakeml · #1168 · 5 de mai. de 2025 · Standard ML · 1.169 estrelas

6 comentários0 reação0 responsável
Aberta
Refactor to use extended numerals.
dev experiencegood first issuerefactoring
Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes
Ainda sem responsávelTem label amigável para iniciantesRepositório ativo este mês

CakeML / cakeml · #1167 · 1 de mai. de 2025 · Standard ML · 1.169 estrelas

1 comentário0 reação0 responsável
Aberta
Improved representation of strings
enhancementhelp wantedhigh reward
Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes
Ainda sem responsávelTem label amigável para iniciantesRepositório ativo este mês

CakeML / cakeml · #1160 · 21 de abr. de 2025 · Standard ML · 1.169 estrelas

1 comentário0 reação0 responsável
Aberta
Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes
Ainda sem responsávelTem label amigável para iniciantesRepositório ativo este mês

CakeML / cakeml · #1153 · 4 de abr. de 2025 · Standard ML · 1.169 estrelas

2 comentários0 reação0 responsável
Aberta
Formalise DEFLATE and add implementation to examples
enhancementgood first issuemedium effort
Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes
Ainda sem responsávelTem label amigável para iniciantesRepositório ativo este mês

CakeML / cakeml · #806 · 16 de nov. de 2020 · Standard ML · 1.169 estrelas

7 comentários0 reação0 responsável
Aberta
Platform for unverified assembly-level experiments
dev experienceenhancementgood first issuehigh rewarduser experience
Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes
Ainda sem responsávelTem label amigável para iniciantesRepositório ativo este mês

CakeML / cakeml · #798 · 15 de out. de 2020 · Standard ML · 1.169 estrelas

1 comentário0 reação0 responsável
Aberta
The encoders are _big_
dev experienceenhancementgood first issuehigh reward
Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes
Ainda sem responsávelTem label amigável para iniciantesRepositório ativo este mês

CakeML / cakeml · #793 · 15 de out. de 2020 · Standard ML · 1.169 estrelas

1 comentário0 reação0 responsável
Aberta
Better encoding for immediate constants
code sizeenhancementgood first issuemedium rewardperformance
Por que recomendamosAinda sem responsável · Ainda sem comentários
Ainda sem responsávelAinda sem comentáriosTem label amigável para iniciantesRepositório ativo este mês

CakeML / cakeml · #789 · 24 de set. de 2020 · Standard ML · 1.169 estrelas

0 comentário0 reação0 responsável
Aberta
Make the heap base pointer optional
code sizeenhancementgood first issuemedium rewardperformance
Por que recomendamosAinda sem responsável · Ainda sem comentários
Ainda sem responsávelAinda sem comentáriosTem label amigável para iniciantesRepositório ativo este mês

CakeML / cakeml · #766 · 17 de set. de 2020 · Standard ML · 1.169 estrelas

0 comentário0 reação0 responsável
Aberta
Soft float fallback
enhancementgood first issuemedium rewarduser experience
Por que recomendamosAinda sem responsável · Ainda sem comentários
Ainda sem responsávelAinda sem comentáriosTem label amigável para iniciantesRepositório ativo este mês

CakeML / cakeml · #760 · 17 de set. de 2020 · Standard ML · 1.169 estrelas

0 comentário0 reação0 responsável
Aberta
Variable length instructions on arm7 and riscv
code sizeenhancementgood first issuehigh reward
Por que recomendamosAinda sem responsável · Ainda sem comentários
Ainda sem responsávelAinda sem comentáriosTem label amigável para iniciantesRepositório ativo este mês

CakeML / cakeml · #756 · 17 de set. de 2020 · Standard ML · 1.169 estrelas

0 comentário0 reação0 responsável
Aberta
Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes
Ainda sem responsávelTem label amigável para iniciantesRepositório ativo este mês

CakeML / cakeml · #697 · 6 de nov. de 2019 · Standard ML · 1.169 estrelas

1 comentário0 reação0 responsável
Aberta
Por que recomendamosAinda sem responsável · Ainda sem comentários
Ainda sem responsávelAinda sem comentáriosTem label amigável para iniciantesRepositório ativo este mês

CakeML / cakeml · #614 · 31 de jan. de 2019 · Standard ML · 1.169 estrelas

0 comentário0 reação0 responsável
Aberta
Lint theory names
dev experiencehelp wantedtooling
Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes
Ainda sem responsávelTem label amigável para iniciantesRepositório ativo este mês

CakeML / cakeml · #602 · 15 de jan. de 2019 · Standard ML · 1.169 estrelas

1 comentário0 reação0 responsável
Aberta
Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes
Ainda sem responsávelTem label amigável para iniciantesRepositório ativo este mês

CakeML / cakeml · #580 · 10 de dez. de 2018 · Standard ML · 1.169 estrelas

1 comentário0 reação0 responsável
Aberta
Automate packaging built copies of CakeML
dev experiencehelp wantedrefactoring
Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes
Ainda sem responsávelTem label amigável para iniciantesRepositório ativo este mês

CakeML / cakeml · #555 · 18 de nov. de 2018 · Standard ML · 1.169 estrelas

1 comentário0 reação0 responsável