倉庫議題

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 個開放索引議題

開放
Export CakeML proofs in OpenTheory format
help wanted
為什麼推薦尚無負責人 · 帶有初學者友善標籤
尚無負責人帶有初學者友善標籤倉庫本月活躍

CakeML / cakeml · #516 · 2018年8月25日 · Standard ML · 1,169 顆星

1 則留言0 個反應0 位負責人
開放
astPP doesn't print algebraic datatype correctly
dev experiencehelp wantedlow reward
為什麼推薦尚無負責人 · 帶有初學者友善標籤
尚無負責人帶有初學者友善標籤倉庫本月活躍

CakeML / cakeml · #480 · 2018年4月6日 · Standard ML · 1,169 顆星

7 則留言0 個反應0 位負責人
開放
Reducing boxing and unboxing of Word64 values
enhancementhelp wantedhigh effort
為什麼推薦尚無負責人 · 帶有初學者友善標籤
尚無負責人帶有初學者友善標籤倉庫本月活躍

CakeML / cakeml · #454 · 2018年2月6日 · Standard ML · 1,169 顆星

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

CakeML / cakeml · #380 · 2017年11月17日 · Standard ML · 1,169 顆星

1 則留言0 個反應0 位負責人
開放
Use a file-based I/O interface to the compiler
good first issuehelp wanteduser experience
為什麼推薦尚無負責人 · 帶有初學者友善標籤
尚無負責人帶有初學者友善標籤倉庫本月活躍

CakeML / cakeml · #355 · 2017年10月26日 · Standard ML · 1,169 顆星

5 則留言0 個反應0 位負責人
開放
Implement lexer on mlstrings
help wanted
為什麼推薦尚無負責人 · 帶有初學者友善標籤
尚無負責人帶有初學者友善標籤倉庫本月活躍

CakeML / cakeml · #353 · 2017年10月26日 · Standard ML · 1,169 顆星

3 則留言0 個反應0 位負責人
開放
Add word shifts to basis
enhancementhelp wanted
為什麼推薦帶有初學者友善標籤 · 倉庫本月活躍
帶有初學者友善標籤倉庫本月活躍

CakeML / cakeml · #274 · 2017年5月3日 · Standard ML · 1,169 顆星

3 則留言0 個反應1 位負責人
開放
Implement `get_opt` in the basis library
enhancementgood first issuehelp wanted
為什麼推薦尚無負責人 · 帶有初學者友善標籤
尚無負責人帶有初學者友善標籤倉庫本月活躍

CakeML / cakeml · #248 · 2017年3月13日 · Standard ML · 1,169 顆星

11 則留言0 個反應0 位負責人
開放
Reduce GiveUps in data_to_word
good first issuehelp wantedlow effortmedium reward
為什麼推薦尚無負責人 · 帶有初學者友善標籤
尚無負責人帶有初學者友善標籤倉庫本月活躍

CakeML / cakeml · #186 · 2016年11月26日 · Standard ML · 1,169 顆星

1 則留言0 個反應0 位負責人
開放
Support custom failure exceptions in the translator
help wantedlow efforttranslator
為什麼推薦尚無負責人 · 帶有初學者友善標籤
尚無負責人帶有初學者友善標籤倉庫本月活躍

CakeML / cakeml · #181 · 2016年11月24日 · Standard ML · 1,169 顆星

1 則留言0 個反應0 位負責人
開放
Remove unnecessary header words
enhancementhelp wantedmedium effortmedium rewardperformance
為什麼推薦帶有初學者友善標籤 · 倉庫本月活躍
帶有初學者友善標籤倉庫本月活躍

CakeML / cakeml · #142 · 2016年9月1日 · Standard ML · 1,169 顆星

1 則留言0 個反應1 位負責人
開放
make the translator as stateless as possible
enhancementhelp wantedtranslator
為什麼推薦尚無負責人 · 帶有初學者友善標籤
尚無負責人帶有初學者友善標籤倉庫本月活躍

CakeML / cakeml · #96 · 2016年1月30日 · Standard ML · 1,169 顆星

3 則留言0 個反應0 位負責人
開放
more readable grammar
help wantedmedium effortmedium reward
為什麼推薦帶有初學者友善標籤 · 倉庫本月活躍
帶有初學者友善標籤倉庫本月活躍

CakeML / cakeml · #94 · 2015年11月28日 · Standard ML · 1,169 顆星

2 則留言0 個反應1 位負責人
開放
target real ELF files for x86-64
help wantedmedium reward
為什麼推薦帶有初學者友善標籤 · 倉庫本月活躍
帶有初學者友善標籤倉庫本月活躍

CakeML / cakeml · #38 · 2015年6月23日 · Standard ML · 1,169 顆星

6 則留言0 個反應2 位負責人