倉庫議題

CakeML/cakeml

CakeML: A Verified Implementation of ML

在 GitHub 查看
星標
 (1,169 顆星)
分叉
 (98 個分叉)
已索引議題
 (39 個已索引議題)
個開放新手議題
 (39 個開放的新手議題)
最近索引
2026年8月14日
最近 GitHub push
2026年7月24日
授權條款
BSD 3-Clause "New" or "Revised" License
貢獻指南
沒有貢獻指南
行為準則
行為準則
主要語言
Standard ML
PR 合併指標
 (PR 指標待抓取)
新手標籤
help wantedgood first issue

議題

39 個已索引議題

開放
Remove mapPartial from mllist
good first issuelow effort
為什麼推薦尚無負責人 · 尚無留言
尚無負責人尚無留言帶有初學者友善標籤倉庫本月活躍

CakeML / cakeml · #1449 · 2026年8月12日 · Standard ML · 1,169 顆星

0 則留言0 個反應0 位負責人
開放
Add contains to Char module
basis extensionsgood first issuelow effort
為什麼推薦尚無負責人 · 尚無留言
尚無負責人尚無留言帶有初學者友善標籤倉庫本月活躍

CakeML / cakeml · #1433 · 2026年7月18日 · Standard ML · 1,169 顆星

0 則留言0 個反應0 位負責人
開放
Make chars_to_nums tail-recursive?
dev experiencegood first issuehelp wanted
為什麼推薦尚無負責人 · 帶有初學者友善標籤
尚無負責人帶有初學者友善標籤倉庫本月活躍

CakeML / cakeml · #1392 · 2026年5月18日 · Standard ML · 1,169 顆星

1 則留言0 個反應0 位負責人
開放
Remove set_trace on var_eq_old
help wantedrefactoring
為什麼推薦帶有初學者友善標籤 · 倉庫本月活躍
帶有初學者友善標籤倉庫本月活躍

CakeML / cakeml · #1171 · 2025年5月7日 · Standard ML · 1,169 顆星

4 則留言0 個反應1 位負責人
開放
Constant propagation in word_simp
good first issuelow effort
為什麼推薦尚無負責人 · 帶有初學者友善標籤
尚無負責人帶有初學者友善標籤倉庫本月活躍

CakeML / cakeml · #1168 · 2025年5月5日 · Standard ML · 1,169 顆星

6 則留言0 個反應0 位負責人
開放
Refactor to use extended numerals.
dev experiencegood first issuerefactoring
為什麼推薦尚無負責人 · 帶有初學者友善標籤
尚無負責人帶有初學者友善標籤倉庫本月活躍

CakeML / cakeml · #1167 · 2025年5月1日 · Standard ML · 1,169 顆星

1 則留言0 個反應0 位負責人
開放
Improved representation of strings
enhancementhelp wantedhigh reward
為什麼推薦尚無負責人 · 帶有初學者友善標籤
尚無負責人帶有初學者友善標籤倉庫本月活躍

CakeML / cakeml · #1160 · 2025年4月21日 · Standard ML · 1,169 顆星

1 則留言0 個反應0 位負責人
開放
Remove Q.prove in ml_monad_translator_interfaceLib
good first issuerefactoring
為什麼推薦尚無負責人 · 帶有初學者友善標籤
尚無負責人帶有初學者友善標籤倉庫本月活躍

CakeML / cakeml · #1153 · 2025年4月4日 · Standard ML · 1,169 顆星

2 則留言0 個反應0 位負責人
開放
Formalise DEFLATE and add implementation to examples
enhancementgood first issuemedium effort
為什麼推薦尚無負責人 · 帶有初學者友善標籤
尚無負責人帶有初學者友善標籤倉庫本月活躍

CakeML / cakeml · #806 · 2020年11月16日 · Standard ML · 1,169 顆星

7 則留言0 個反應0 位負責人
開放
Platform for unverified assembly-level experiments
dev experienceenhancementgood first issuehigh rewarduser experience
為什麼推薦尚無負責人 · 帶有初學者友善標籤
尚無負責人帶有初學者友善標籤倉庫本月活躍

CakeML / cakeml · #798 · 2020年10月15日 · Standard ML · 1,169 顆星

1 則留言0 個反應0 位負責人
開放
The encoders are _big_
dev experienceenhancementgood first issuehigh reward
為什麼推薦尚無負責人 · 帶有初學者友善標籤
尚無負責人帶有初學者友善標籤倉庫本月活躍

CakeML / cakeml · #793 · 2020年10月15日 · Standard ML · 1,169 顆星

1 則留言0 個反應0 位負責人
開放
Better encoding for immediate constants
code sizeenhancementgood first issuemedium rewardperformance
為什麼推薦尚無負責人 · 尚無留言
尚無負責人尚無留言帶有初學者友善標籤倉庫本月活躍

CakeML / cakeml · #789 · 2020年9月24日 · Standard ML · 1,169 顆星

0 則留言0 個反應0 位負責人
開放
Make the heap base pointer optional
code sizeenhancementgood first issuemedium rewardperformance
為什麼推薦尚無負責人 · 尚無留言
尚無負責人尚無留言帶有初學者友善標籤倉庫本月活躍

CakeML / cakeml · #766 · 2020年9月17日 · Standard ML · 1,169 顆星

0 則留言0 個反應0 位負責人
開放
Soft float fallback
enhancementgood first issuemedium rewarduser experience
為什麼推薦尚無負責人 · 尚無留言
尚無負責人尚無留言帶有初學者友善標籤倉庫本月活躍

CakeML / cakeml · #760 · 2020年9月17日 · Standard ML · 1,169 顆星

0 則留言0 個反應0 位負責人
開放
Variable length instructions on arm7 and riscv
code sizeenhancementgood first issuehigh reward
為什麼推薦尚無負責人 · 尚無留言
尚無負責人尚無留言帶有初學者友善標籤倉庫本月活躍

CakeML / cakeml · #756 · 2020年9月17日 · Standard ML · 1,169 顆星

0 則留言0 個反應0 位負責人
開放
Replace wc.sh with a CakeML program
help wantedtooling
為什麼推薦尚無負責人 · 尚無留言
尚無負責人尚無留言帶有初學者友善標籤倉庫本月活躍

CakeML / cakeml · #614 · 2019年1月31日 · Standard ML · 1,169 顆星

0 則留言0 個反應0 位負責人
開放
Lint theory names
dev experiencehelp wantedtooling
為什麼推薦尚無負責人 · 帶有初學者友善標籤
尚無負責人帶有初學者友善標籤倉庫本月活躍

CakeML / cakeml · #602 · 2019年1月15日 · Standard ML · 1,169 顆星

1 則留言0 個反應0 位負責人
開放
ACL2 version of the semantics of CakeML
help wanted
為什麼推薦尚無負責人 · 帶有初學者友善標籤
尚無負責人帶有初學者友善標籤倉庫本月活躍

CakeML / cakeml · #580 · 2018年12月10日 · Standard ML · 1,169 顆星

1 則留言0 個反應0 位負責人
開放
Automate packaging built copies of CakeML
dev experiencehelp wantedrefactoring
為什麼推薦尚無負責人 · 帶有初學者友善標籤
尚無負責人帶有初學者友善標籤倉庫本月活躍

CakeML / cakeml · #555 · 2018年11月18日 · Standard ML · 1,169 顆星

1 則留言0 個反應0 位負責人