Issue del repository

CakeML/cakeml

CakeML: A Verified Implementation of ML

Vedi su GitHub
Star
 (1169 stelle)
Fork
 (98 fork)
Issue indicizzate
 (39 issue indicizzate)
issue per principianti aperte
 (39 issue per principianti aperte)
Ultima indicizzazione
14 ago 2026
Ultimo push GitHub
24 lug 2026
Licenza
BSD 3-Clause "New" or "Revised" License
Guida contributori
Nessuna guida contributori
Codice di condotta
Codice di condotta
Linguaggio principale
Standard ML
Metriche merge PR
 (Metriche PR in attesa)
Label per principianti
help wantedgood first issue

Issue

39 issue indicizzate

Aperta
Remove mapPartial from mllist
good first issuelow effort
Perché consigliataNessun assegnatario · Nessun commento
Nessun assegnatarioNessun commentoHa una label adatta ai principiantiRepository attivo questo mese

CakeML / cakeml · #1449 · 12 ago 2026 · Standard ML · 1169 stelle

0 commenti0 reazioni0 assegnatari
Aperta
Add contains to Char module
basis extensionsgood first issuelow effort
Perché consigliataNessun assegnatario · Nessun commento
Nessun assegnatarioNessun commentoHa una label adatta ai principiantiRepository attivo questo mese

CakeML / cakeml · #1433 · 18 lug 2026 · Standard ML · 1169 stelle

0 commenti0 reazioni0 assegnatari
Aperta
Make chars_to_nums tail-recursive?
dev experiencegood first issuehelp wanted
Perché consigliataNessun assegnatario · Ha una label adatta ai principianti
Nessun assegnatarioHa una label adatta ai principiantiRepository attivo questo mese

CakeML / cakeml · #1392 · 18 mag 2026 · Standard ML · 1169 stelle

1 commento0 reazioni0 assegnatari
Aperta
Remove set_trace on var_eq_old
help wantedrefactoring
Perché consigliataHa una label adatta ai principianti · Repository attivo questo mese
Ha una label adatta ai principiantiRepository attivo questo mese

CakeML / cakeml · #1171 · 7 mag 2025 · Standard ML · 1169 stelle

4 commenti0 reazioni1 assegnatario
Aperta
Constant propagation in word_simp
good first issuelow effort
Perché consigliataNessun assegnatario · Ha una label adatta ai principianti
Nessun assegnatarioHa una label adatta ai principiantiRepository attivo questo mese

CakeML / cakeml · #1168 · 5 mag 2025 · Standard ML · 1169 stelle

6 commenti0 reazioni0 assegnatari
Aperta
Refactor to use extended numerals.
dev experiencegood first issuerefactoring
Perché consigliataNessun assegnatario · Ha una label adatta ai principianti
Nessun assegnatarioHa una label adatta ai principiantiRepository attivo questo mese

CakeML / cakeml · #1167 · 1 mag 2025 · Standard ML · 1169 stelle

1 commento0 reazioni0 assegnatari
Aperta
Improved representation of strings
enhancementhelp wantedhigh reward
Perché consigliataNessun assegnatario · Ha una label adatta ai principianti
Nessun assegnatarioHa una label adatta ai principiantiRepository attivo questo mese

CakeML / cakeml · #1160 · 21 apr 2025 · Standard ML · 1169 stelle

1 commento0 reazioni0 assegnatari
Aperta
Remove Q.prove in ml_monad_translator_interfaceLib
good first issuerefactoring
Perché consigliataNessun assegnatario · Ha una label adatta ai principianti
Nessun assegnatarioHa una label adatta ai principiantiRepository attivo questo mese

CakeML / cakeml · #1153 · 4 apr 2025 · Standard ML · 1169 stelle

2 commenti0 reazioni0 assegnatari
Aperta
Formalise DEFLATE and add implementation to examples
enhancementgood first issuemedium effort
Perché consigliataNessun assegnatario · Ha una label adatta ai principianti
Nessun assegnatarioHa una label adatta ai principiantiRepository attivo questo mese

CakeML / cakeml · #806 · 16 nov 2020 · Standard ML · 1169 stelle

7 commenti0 reazioni0 assegnatari
Aperta
Platform for unverified assembly-level experiments
dev experienceenhancementgood first issuehigh rewarduser experience
Perché consigliataNessun assegnatario · Ha una label adatta ai principianti
Nessun assegnatarioHa una label adatta ai principiantiRepository attivo questo mese

CakeML / cakeml · #798 · 15 ott 2020 · Standard ML · 1169 stelle

1 commento0 reazioni0 assegnatari
Aperta
The encoders are _big_
dev experienceenhancementgood first issuehigh reward
Perché consigliataNessun assegnatario · Ha una label adatta ai principianti
Nessun assegnatarioHa una label adatta ai principiantiRepository attivo questo mese

CakeML / cakeml · #793 · 15 ott 2020 · Standard ML · 1169 stelle

1 commento0 reazioni0 assegnatari
Aperta
Better encoding for immediate constants
code sizeenhancementgood first issuemedium rewardperformance
Perché consigliataNessun assegnatario · Nessun commento
Nessun assegnatarioNessun commentoHa una label adatta ai principiantiRepository attivo questo mese

CakeML / cakeml · #789 · 24 set 2020 · Standard ML · 1169 stelle

0 commenti0 reazioni0 assegnatari
Aperta
Make the heap base pointer optional
code sizeenhancementgood first issuemedium rewardperformance
Perché consigliataNessun assegnatario · Nessun commento
Nessun assegnatarioNessun commentoHa una label adatta ai principiantiRepository attivo questo mese

CakeML / cakeml · #766 · 17 set 2020 · Standard ML · 1169 stelle

0 commenti0 reazioni0 assegnatari
Aperta
Soft float fallback
enhancementgood first issuemedium rewarduser experience
Perché consigliataNessun assegnatario · Nessun commento
Nessun assegnatarioNessun commentoHa una label adatta ai principiantiRepository attivo questo mese

CakeML / cakeml · #760 · 17 set 2020 · Standard ML · 1169 stelle

0 commenti0 reazioni0 assegnatari
Aperta
Variable length instructions on arm7 and riscv
code sizeenhancementgood first issuehigh reward
Perché consigliataNessun assegnatario · Nessun commento
Nessun assegnatarioNessun commentoHa una label adatta ai principiantiRepository attivo questo mese

CakeML / cakeml · #756 · 17 set 2020 · Standard ML · 1169 stelle

0 commenti0 reazioni0 assegnatari
Aperta
Update CakeML tutorial to use monadic translator
help wanted
Perché consigliataNessun assegnatario · Ha una label adatta ai principianti
Nessun assegnatarioHa una label adatta ai principiantiRepository attivo questo mese

CakeML / cakeml · #697 · 6 nov 2019 · Standard ML · 1169 stelle

1 commento0 reazioni0 assegnatari
Aperta
Replace wc.sh with a CakeML program
help wantedtooling
Perché consigliataNessun assegnatario · Nessun commento
Nessun assegnatarioNessun commentoHa una label adatta ai principiantiRepository attivo questo mese

CakeML / cakeml · #614 · 31 gen 2019 · Standard ML · 1169 stelle

0 commenti0 reazioni0 assegnatari
Aperta
Lint theory names
dev experiencehelp wantedtooling
Perché consigliataNessun assegnatario · Ha una label adatta ai principianti
Nessun assegnatarioHa una label adatta ai principiantiRepository attivo questo mese

CakeML / cakeml · #602 · 15 gen 2019 · Standard ML · 1169 stelle

1 commento0 reazioni0 assegnatari
Aperta
ACL2 version of the semantics of CakeML
help wanted
Perché consigliataNessun assegnatario · Ha una label adatta ai principianti
Nessun assegnatarioHa una label adatta ai principiantiRepository attivo questo mese

CakeML / cakeml · #580 · 10 dic 2018 · Standard ML · 1169 stelle

1 commento0 reazioni0 assegnatari
Aperta
Automate packaging built copies of CakeML
dev experiencehelp wantedrefactoring
Perché consigliataNessun assegnatario · Ha una label adatta ai principianti
Nessun assegnatarioHa una label adatta ai principiantiRepository attivo questo mese

CakeML / cakeml · #555 · 18 nov 2018 · Standard ML · 1169 stelle

1 commento0 reazioni0 assegnatari