CakeML/cakeml Issues

星標: (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

議題

0 個已關閉索引議題

此倉庫沒有已關閉的已索引議題。