Issues
Aberta
Export CakeML proofs in OpenTheory format
help wanted
Ainda sem responsávelTem label amigável para iniciantesRepositório ativo este mês
1 comentário0 reação0 responsável
Aberta
astPP doesn't print algebraic datatype correctly
dev experiencehelp wantedlow 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
7 comentários0 reação0 responsável
Aberta
Reducing boxing and unboxing of Word64 values
enhancementhelp wantedhigh 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
1 comentário0 reação0 responsável
Aberta
Implement make_ex in CakeML
good first issuetooling
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
1 comentário0 reação0 responsável
Aberta
Use a file-based I/O interface to the compiler
good first issuehelp wanteduser 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
5 comentários0 reação0 responsável
Aberta
Implement lexer on mlstrings
help 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
3 comentários0 reação0 responsável
Aberta
Add word shifts to basis
enhancementhelp wanted
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
3 comentários0 reação1 responsável
Aberta
Support for multi-case functions defined by pattern matching
enhancementhelp wantedhigh effortlow rewarduser experience
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
8 comentários0 reação2 responsáveis
Aberta
Implement `get_opt` in the basis library
enhancementgood 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
11 comentários0 reação0 responsável
Aberta
Add instructions for efficient Div and Mul by (powers of) 2
good first issueperformance
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
6 comentários0 reação1 responsável
Aberta
Reduce GiveUps in data_to_word
good first issuehelp wantedlow effortmedium 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
1 comentário0 reação0 responsável
Aberta
Support custom failure exceptions in the translator
help wantedlow efforttranslator
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
1 comentário0 reação0 responsável
Aberta
Avoid going through calling convention when entering Handle
enhancementhelp wantedhigh effortlow 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
0 comentário0 reação0 responsável
Aberta
Remove unnecessary header words
enhancementhelp wantedmedium effortmedium rewardperformance
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
1 comentário0 reação1 responsável
Aberta
Derive PMATCH thms for relevant parts of compiler definition
help wantedlow rewardmedium effort
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
8 comentários0 reação1 responsável
Aberta
make the translator as stateless as possible
enhancementhelp wantedtranslator
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
3 comentários0 reação0 responsável
Aberta
more readable grammar
help wantedmedium effortmedium reward
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
2 comentários0 reação1 responsável
Aberta
target real ELF files for x86-64
help wantedmedium reward
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
6 comentários0 reação2 responsáveis
Aberta
better support for translating recursion through higher-order functions
help wantedhigh effortmedium rewardtranslator
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
1 comentário0 reação1 responsável