仓库议题

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 位负责人