Issues de CakeML/cakeml

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
Licença: BSD 3-Clause "New" or "Revised" License
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

0 issue indexada fechada

Nenhum issues indexado fechado encontrado para este repositório.