仓库议题

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