Repository Issues

CakeML/cakeml

CakeML: A Verified Implementation of ML

Auf GitHub ansehen
Stars
 (1.169 Sterne)
Forks
 (98 Forks)
Indexierte Issues
 (39 indexierte Issues)
offene Einsteiger-Issues
 (39 offene Einsteiger-Issues)
Zuletzt indexiert
14.08.2026
Letzter GitHub Push
24.07.2026
Lizenz
BSD 3-Clause "New" or "Revised" License
Contributing Guide
Kein Contributing Guide
Code of Conduct
Code of Conduct
Hauptsprache
Standard ML
PR-Merge-Metriken
 (PR-Metriken ausstehend)
Einsteiger-Labels
help wantedgood first issue

Issues

39 indexierte Issues

Offen
Remove mapPartial from mllist
good first issuelow effort
Warum empfohlenNoch niemand zugewiesen · Noch keine Kommentare
Noch niemand zugewiesenNoch keine KommentareEinsteigerfreundliches Label vorhandenRepository diesen Monat aktiv

CakeML / cakeml · #1449 · 12.08.2026 · Standard ML · 1.169 Sterne

0 Kommentare0 Reaktionen0 zugewiesene Personen
Offen
Add contains to Char module
basis extensionsgood first issuelow effort
Warum empfohlenNoch niemand zugewiesen · Noch keine Kommentare
Noch niemand zugewiesenNoch keine KommentareEinsteigerfreundliches Label vorhandenRepository diesen Monat aktiv

CakeML / cakeml · #1433 · 18.07.2026 · Standard ML · 1.169 Sterne

0 Kommentare0 Reaktionen0 zugewiesene Personen
Offen
Make chars_to_nums tail-recursive?
dev experiencegood first issuehelp wanted
Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhandenRepository diesen Monat aktiv

CakeML / cakeml · #1392 · 18.05.2026 · Standard ML · 1.169 Sterne

1 Kommentar0 Reaktionen0 zugewiesene Personen
Offen
Remove set_trace on var_eq_old
help wantedrefactoring
Warum empfohlenEinsteigerfreundliches Label vorhanden · Repository diesen Monat aktiv
Einsteigerfreundliches Label vorhandenRepository diesen Monat aktiv

CakeML / cakeml · #1171 · 07.05.2025 · Standard ML · 1.169 Sterne

4 Kommentare0 Reaktionen1 zugewiesene Person
Offen
Constant propagation in word_simp
good first issuelow effort
Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhandenRepository diesen Monat aktiv

CakeML / cakeml · #1168 · 05.05.2025 · Standard ML · 1.169 Sterne

6 Kommentare0 Reaktionen0 zugewiesene Personen
Offen
Refactor to use extended numerals.
dev experiencegood first issuerefactoring
Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhandenRepository diesen Monat aktiv

CakeML / cakeml · #1167 · 01.05.2025 · Standard ML · 1.169 Sterne

1 Kommentar0 Reaktionen0 zugewiesene Personen
Offen
Improved representation of strings
enhancementhelp wantedhigh reward
Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhandenRepository diesen Monat aktiv

CakeML / cakeml · #1160 · 21.04.2025 · Standard ML · 1.169 Sterne

1 Kommentar0 Reaktionen0 zugewiesene Personen
Offen
Remove Q.prove in ml_monad_translator_interfaceLib
good first issuerefactoring
Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhandenRepository diesen Monat aktiv

CakeML / cakeml · #1153 · 04.04.2025 · Standard ML · 1.169 Sterne

2 Kommentare0 Reaktionen0 zugewiesene Personen
Offen
Formalise DEFLATE and add implementation to examples
enhancementgood first issuemedium effort
Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhandenRepository diesen Monat aktiv

CakeML / cakeml · #806 · 16.11.2020 · Standard ML · 1.169 Sterne

7 Kommentare0 Reaktionen0 zugewiesene Personen
Offen
Platform for unverified assembly-level experiments
dev experienceenhancementgood first issuehigh rewarduser experience
Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhandenRepository diesen Monat aktiv

CakeML / cakeml · #798 · 15.10.2020 · Standard ML · 1.169 Sterne

1 Kommentar0 Reaktionen0 zugewiesene Personen
Offen
The encoders are _big_
dev experienceenhancementgood first issuehigh reward
Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhandenRepository diesen Monat aktiv

CakeML / cakeml · #793 · 15.10.2020 · Standard ML · 1.169 Sterne

1 Kommentar0 Reaktionen0 zugewiesene Personen
Offen
Better encoding for immediate constants
code sizeenhancementgood first issuemedium rewardperformance
Warum empfohlenNoch niemand zugewiesen · Noch keine Kommentare
Noch niemand zugewiesenNoch keine KommentareEinsteigerfreundliches Label vorhandenRepository diesen Monat aktiv

CakeML / cakeml · #789 · 24.09.2020 · Standard ML · 1.169 Sterne

0 Kommentare0 Reaktionen0 zugewiesene Personen
Offen
Make the heap base pointer optional
code sizeenhancementgood first issuemedium rewardperformance
Warum empfohlenNoch niemand zugewiesen · Noch keine Kommentare
Noch niemand zugewiesenNoch keine KommentareEinsteigerfreundliches Label vorhandenRepository diesen Monat aktiv

CakeML / cakeml · #766 · 17.09.2020 · Standard ML · 1.169 Sterne

0 Kommentare0 Reaktionen0 zugewiesene Personen
Offen
Soft float fallback
enhancementgood first issuemedium rewarduser experience
Warum empfohlenNoch niemand zugewiesen · Noch keine Kommentare
Noch niemand zugewiesenNoch keine KommentareEinsteigerfreundliches Label vorhandenRepository diesen Monat aktiv

CakeML / cakeml · #760 · 17.09.2020 · Standard ML · 1.169 Sterne

0 Kommentare0 Reaktionen0 zugewiesene Personen
Offen
Variable length instructions on arm7 and riscv
code sizeenhancementgood first issuehigh reward
Warum empfohlenNoch niemand zugewiesen · Noch keine Kommentare
Noch niemand zugewiesenNoch keine KommentareEinsteigerfreundliches Label vorhandenRepository diesen Monat aktiv

CakeML / cakeml · #756 · 17.09.2020 · Standard ML · 1.169 Sterne

0 Kommentare0 Reaktionen0 zugewiesene Personen
Offen
Update CakeML tutorial to use monadic translator
help wanted
Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhandenRepository diesen Monat aktiv

CakeML / cakeml · #697 · 06.11.2019 · Standard ML · 1.169 Sterne

1 Kommentar0 Reaktionen0 zugewiesene Personen
Offen
Replace wc.sh with a CakeML program
help wantedtooling
Warum empfohlenNoch niemand zugewiesen · Noch keine Kommentare
Noch niemand zugewiesenNoch keine KommentareEinsteigerfreundliches Label vorhandenRepository diesen Monat aktiv

CakeML / cakeml · #614 · 31.01.2019 · Standard ML · 1.169 Sterne

0 Kommentare0 Reaktionen0 zugewiesene Personen
Offen
Lint theory names
dev experiencehelp wantedtooling
Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhandenRepository diesen Monat aktiv

CakeML / cakeml · #602 · 15.01.2019 · Standard ML · 1.169 Sterne

1 Kommentar0 Reaktionen0 zugewiesene Personen
Offen
ACL2 version of the semantics of CakeML
help wanted
Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhandenRepository diesen Monat aktiv

CakeML / cakeml · #580 · 10.12.2018 · Standard ML · 1.169 Sterne

1 Kommentar0 Reaktionen0 zugewiesene Personen
Offen
Automate packaging built copies of CakeML
dev experiencehelp wantedrefactoring
Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhandenRepository diesen Monat aktiv

CakeML / cakeml · #555 · 18.11.2018 · Standard ML · 1.169 Sterne

1 Kommentar0 Reaktionen0 zugewiesene Personen