Issue
Aperta
Export CakeML proofs in OpenTheory format
help wanted
Nessun assegnatarioHa una label adatta ai principiantiRepository attivo questo mese
1 commento0 reazioni0 assegnatari
Aperta
astPP doesn't print algebraic datatype correctly
dev experiencehelp wantedlow reward
Perché consigliataNessun assegnatario · Ha una label adatta ai principianti
Nessun assegnatarioHa una label adatta ai principiantiRepository attivo questo mese
7 commenti0 reazioni0 assegnatari
Aperta
Reducing boxing and unboxing of Word64 values
enhancementhelp wantedhigh effort
Perché consigliataNessun assegnatario · Ha una label adatta ai principianti
Nessun assegnatarioHa una label adatta ai principiantiRepository attivo questo mese
1 commento0 reazioni0 assegnatari
Aperta
Implement make_ex in CakeML
good first issuetooling
Perché consigliataNessun assegnatario · Ha una label adatta ai principianti
Nessun assegnatarioHa una label adatta ai principiantiRepository attivo questo mese
1 commento0 reazioni0 assegnatari
Aperta
Use a file-based I/O interface to the compiler
good first issuehelp wanteduser experience
Perché consigliataNessun assegnatario · Ha una label adatta ai principianti
Nessun assegnatarioHa una label adatta ai principiantiRepository attivo questo mese
5 commenti0 reazioni0 assegnatari
Aperta
Implement lexer on mlstrings
help wanted
Perché consigliataNessun assegnatario · Ha una label adatta ai principianti
Nessun assegnatarioHa una label adatta ai principiantiRepository attivo questo mese
3 commenti0 reazioni0 assegnatari
Aperta
Add word shifts to basis
enhancementhelp wanted
Perché consigliataHa una label adatta ai principianti · Repository attivo questo mese
Ha una label adatta ai principiantiRepository attivo questo mese
3 commenti0 reazioni1 assegnatario
Aperta
Support for multi-case functions defined by pattern matching
enhancementhelp wantedhigh effortlow rewarduser experience
Perché consigliataHa una label adatta ai principianti · Repository attivo questo mese
Ha una label adatta ai principiantiRepository attivo questo mese
8 commenti0 reazioni2 assegnatari
Aperta
Implement `get_opt` in the basis library
enhancementgood first issuehelp wanted
Perché consigliataNessun assegnatario · Ha una label adatta ai principianti
Nessun assegnatarioHa una label adatta ai principiantiRepository attivo questo mese
11 commenti0 reazioni0 assegnatari
Aperta
Add instructions for efficient Div and Mul by (powers of) 2
good first issueperformance
Perché consigliataHa una label adatta ai principianti · Repository attivo questo mese
Ha una label adatta ai principiantiRepository attivo questo mese
6 commenti0 reazioni1 assegnatario
Aperta
Reduce GiveUps in data_to_word
good first issuehelp wantedlow effortmedium reward
Perché consigliataNessun assegnatario · Ha una label adatta ai principianti
Nessun assegnatarioHa una label adatta ai principiantiRepository attivo questo mese
1 commento0 reazioni0 assegnatari
Aperta
Support custom failure exceptions in the translator
help wantedlow efforttranslator
Perché consigliataNessun assegnatario · Ha una label adatta ai principianti
Nessun assegnatarioHa una label adatta ai principiantiRepository attivo questo mese
1 commento0 reazioni0 assegnatari
Aperta
Avoid going through calling convention when entering Handle
enhancementhelp wantedhigh effortlow reward
Perché consigliataNessun assegnatario · Nessun commento
Nessun assegnatarioNessun commentoHa una label adatta ai principiantiRepository attivo questo mese
0 commenti0 reazioni0 assegnatari
Aperta
Remove unnecessary header words
enhancementhelp wantedmedium effortmedium rewardperformance
Perché consigliataHa una label adatta ai principianti · Repository attivo questo mese
Ha una label adatta ai principiantiRepository attivo questo mese
1 commento0 reazioni1 assegnatario
Aperta
Derive PMATCH thms for relevant parts of compiler definition
help wantedlow rewardmedium effort
Perché consigliataHa una label adatta ai principianti · Repository attivo questo mese
Ha una label adatta ai principiantiRepository attivo questo mese
8 commenti0 reazioni1 assegnatario
Aperta
make the translator as stateless as possible
enhancementhelp wantedtranslator
Perché consigliataNessun assegnatario · Ha una label adatta ai principianti
Nessun assegnatarioHa una label adatta ai principiantiRepository attivo questo mese
3 commenti0 reazioni0 assegnatari
Aperta
more readable grammar
help wantedmedium effortmedium reward
Perché consigliataHa una label adatta ai principianti · Repository attivo questo mese
Ha una label adatta ai principiantiRepository attivo questo mese
2 commenti0 reazioni1 assegnatario
Aperta
target real ELF files for x86-64
help wantedmedium reward
Perché consigliataHa una label adatta ai principianti · Repository attivo questo mese
Ha una label adatta ai principiantiRepository attivo questo mese
6 commenti0 reazioni2 assegnatari
Aperta
better support for translating recursion through higher-order functions
help wantedhigh effortmedium rewardtranslator
Perché consigliataHa una label adatta ai principianti · Repository attivo questo mese
Ha una label adatta ai principiantiRepository attivo questo mese
1 commento0 reazioni1 assegnatario