Issues
Aberta
Remove mapPartial from mllist
good first issuelow effort
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
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
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
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
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
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
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
1 comentário0 reação0 responsável
Aberta
Remove Q.prove in ml_monad_translator_interfaceLib
good 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
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
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
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
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
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
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
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
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
1 comentário0 reação0 responsável
Aberta
Replace wc.sh with a CakeML program
help wantedtooling
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
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
1 comentário0 reação0 responsável
Aberta
ACL2 version of the semantics of CakeML
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
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
1 comentário0 reação0 responsável