Issues
Offen
Export CakeML proofs in OpenTheory format
help wanted
Noch niemand zugewiesenEinsteigerfreundliches Label vorhandenRepository diesen Monat aktiv
1 Kommentar0 Reaktionen0 zugewiesene Personen
Offen
astPP doesn't print algebraic datatype correctly
dev experiencehelp wantedlow reward
Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhandenRepository diesen Monat aktiv
7 Kommentare0 Reaktionen0 zugewiesene Personen
Offen
Reducing boxing and unboxing of Word64 values
enhancementhelp wantedhigh effort
Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhandenRepository diesen Monat aktiv
1 Kommentar0 Reaktionen0 zugewiesene Personen
Offen
Implement make_ex in CakeML
good first issuetooling
Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhandenRepository diesen Monat aktiv
1 Kommentar0 Reaktionen0 zugewiesene Personen
Offen
Use a file-based I/O interface to the compiler
good first issuehelp wanteduser experience
Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhandenRepository diesen Monat aktiv
5 Kommentare0 Reaktionen0 zugewiesene Personen
Offen
Implement lexer on mlstrings
help wanted
Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhandenRepository diesen Monat aktiv
3 Kommentare0 Reaktionen0 zugewiesene Personen
Offen
Add word shifts to basis
enhancementhelp wanted
Warum empfohlenEinsteigerfreundliches Label vorhanden · Repository diesen Monat aktiv
Einsteigerfreundliches Label vorhandenRepository diesen Monat aktiv
3 Kommentare0 Reaktionen1 zugewiesene Person
Offen
Support for multi-case functions defined by pattern matching
enhancementhelp wantedhigh effortlow rewarduser experience
Warum empfohlenEinsteigerfreundliches Label vorhanden · Repository diesen Monat aktiv
Einsteigerfreundliches Label vorhandenRepository diesen Monat aktiv
8 Kommentare0 Reaktionen2 zugewiesene Personen
Offen
Implement `get_opt` in the basis library
enhancementgood first issuehelp wanted
Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhandenRepository diesen Monat aktiv
11 Kommentare0 Reaktionen0 zugewiesene Personen
Offen
Add instructions for efficient Div and Mul by (powers of) 2
good first issueperformance
Warum empfohlenEinsteigerfreundliches Label vorhanden · Repository diesen Monat aktiv
Einsteigerfreundliches Label vorhandenRepository diesen Monat aktiv
6 Kommentare0 Reaktionen1 zugewiesene Person
Offen
Reduce GiveUps in data_to_word
good first issuehelp wantedlow effortmedium reward
Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhandenRepository diesen Monat aktiv
1 Kommentar0 Reaktionen0 zugewiesene Personen
Offen
Support custom failure exceptions in the translator
help wantedlow efforttranslator
Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhandenRepository diesen Monat aktiv
1 Kommentar0 Reaktionen0 zugewiesene Personen
Offen
Avoid going through calling convention when entering Handle
enhancementhelp wantedhigh effortlow reward
Warum empfohlenNoch niemand zugewiesen · Noch keine Kommentare
Noch niemand zugewiesenNoch keine KommentareEinsteigerfreundliches Label vorhandenRepository diesen Monat aktiv
0 Kommentare0 Reaktionen0 zugewiesene Personen
Offen
Remove unnecessary header words
enhancementhelp wantedmedium effortmedium rewardperformance
Warum empfohlenEinsteigerfreundliches Label vorhanden · Repository diesen Monat aktiv
Einsteigerfreundliches Label vorhandenRepository diesen Monat aktiv
1 Kommentar0 Reaktionen1 zugewiesene Person
Offen
Derive PMATCH thms for relevant parts of compiler definition
help wantedlow rewardmedium effort
Warum empfohlenEinsteigerfreundliches Label vorhanden · Repository diesen Monat aktiv
Einsteigerfreundliches Label vorhandenRepository diesen Monat aktiv
8 Kommentare0 Reaktionen1 zugewiesene Person
Offen
make the translator as stateless as possible
enhancementhelp wantedtranslator
Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhandenRepository diesen Monat aktiv
3 Kommentare0 Reaktionen0 zugewiesene Personen
Offen
more readable grammar
help wantedmedium effortmedium reward
Warum empfohlenEinsteigerfreundliches Label vorhanden · Repository diesen Monat aktiv
Einsteigerfreundliches Label vorhandenRepository diesen Monat aktiv
2 Kommentare0 Reaktionen1 zugewiesene Person
Offen
target real ELF files for x86-64
help wantedmedium reward
Warum empfohlenEinsteigerfreundliches Label vorhanden · Repository diesen Monat aktiv
Einsteigerfreundliches Label vorhandenRepository diesen Monat aktiv
6 Kommentare0 Reaktionen2 zugewiesene Personen
Offen
better support for translating recursion through higher-order functions
help wantedhigh effortmedium rewardtranslator
Warum empfohlenEinsteigerfreundliches Label vorhanden · Repository diesen Monat aktiv
Einsteigerfreundliches Label vorhandenRepository diesen Monat aktiv
1 Kommentar0 Reaktionen1 zugewiesene Person