CakeML/cakeml Issues

Stars: (1,169 個のスター)
Forks: (98 件のフォーク)
Indexed issues: (39 件の索引済み Issue)
open beginner issues: (39 件のオープンな初心者向け Issue)
最終索引: 2026/08/14
最終 GitHub push: 2026/07/24
ライセンス: BSD 3-Clause "New" or "Revised" License
コントリビューションガイド: コントリビューションガイドはありません
行動規範: 行動規範
主要言語: Standard ML
PR merge metrics: (PR metrics pending)
初心者向けラベル: help wantedgood first issue

Issue

39 件のオープンな索引 Issue

オープン

Remove mapPartial from mllist

good first issuelow effort

おすすめ理由担当者がまだいない · コメントがまだない

担当者がまだいないコメントがまだない初心者向けラベルありリポジトリは今月もアクティブ

CakeML / cakeml · #1449 · 2026/08/12 · Standard ML · 1,169 個のスター

0 件のコメント0 件のリアクション0 人の担当者

オープン

Add contains to Char module

basis extensionsgood first issuelow effort

おすすめ理由担当者がまだいない · コメントがまだない

担当者がまだいないコメントがまだない初心者向けラベルありリポジトリは今月もアクティブ

CakeML / cakeml · #1433 · 2026/07/18 · Standard ML · 1,169 個のスター

0 件のコメント0 件のリアクション0 人の担当者

オープン

Make chars_to_nums tail-recursive?

dev experiencegood first issuehelp wanted

おすすめ理由担当者がまだいない · 初心者向けラベルあり

担当者がまだいない初心者向けラベルありリポジトリは今月もアクティブ

CakeML / cakeml · #1392 · 2026/05/18 · Standard ML · 1,169 個のスター

1 件のコメント0 件のリアクション0 人の担当者

オープン

Remove set_trace on var_eq_old

help wantedrefactoring

おすすめ理由初心者向けラベルあり · リポジトリは今月もアクティブ

初心者向けラベルありリポジトリは今月もアクティブ

CakeML / cakeml · #1171 · 2025/05/07 · Standard ML · 1,169 個のスター

4 件のコメント0 件のリアクション1 人の担当者

オープン

Constant propagation in word_simp

good first issuelow effort

おすすめ理由担当者がまだいない · 初心者向けラベルあり

担当者がまだいない初心者向けラベルありリポジトリは今月もアクティブ

CakeML / cakeml · #1168 · 2025/05/05 · Standard ML · 1,169 個のスター

6 件のコメント0 件のリアクション0 人の担当者

オープン

Refactor to use extended numerals.

dev experiencegood first issuerefactoring

おすすめ理由担当者がまだいない · 初心者向けラベルあり

担当者がまだいない初心者向けラベルありリポジトリは今月もアクティブ

CakeML / cakeml · #1167 · 2025/05/01 · Standard ML · 1,169 個のスター

1 件のコメント0 件のリアクション0 人の担当者

オープン

Improved representation of strings

enhancementhelp wantedhigh reward

おすすめ理由担当者がまだいない · 初心者向けラベルあり

担当者がまだいない初心者向けラベルありリポジトリは今月もアクティブ

CakeML / cakeml · #1160 · 2025/04/21 · Standard ML · 1,169 個のスター

1 件のコメント0 件のリアクション0 人の担当者

オープン

Remove Q.prove in ml_monad_translator_interfaceLib

good first issuerefactoring

おすすめ理由担当者がまだいない · 初心者向けラベルあり

担当者がまだいない初心者向けラベルありリポジトリは今月もアクティブ

CakeML / cakeml · #1153 · 2025/04/04 · 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/09/24 · Standard ML · 1,169 個のスター

0 件のコメント0 件のリアクション0 人の担当者

オープン

Make the heap base pointer optional

code sizeenhancementgood first issuemedium rewardperformance

おすすめ理由担当者がまだいない · コメントがまだない

担当者がまだいないコメントがまだない初心者向けラベルありリポジトリは今月もアクティブ

CakeML / cakeml · #766 · 2020/09/17 · Standard ML · 1,169 個のスター

0 件のコメント0 件のリアクション0 人の担当者

オープン

Soft float fallback

enhancementgood first issuemedium rewarduser experience

おすすめ理由担当者がまだいない · コメントがまだない

担当者がまだいないコメントがまだない初心者向けラベルありリポジトリは今月もアクティブ

CakeML / cakeml · #760 · 2020/09/17 · Standard ML · 1,169 個のスター

0 件のコメント0 件のリアクション0 人の担当者

オープン

Variable length instructions on arm7 and riscv

code sizeenhancementgood first issuehigh reward

おすすめ理由担当者がまだいない · コメントがまだない

担当者がまだいないコメントがまだない初心者向けラベルありリポジトリは今月もアクティブ

CakeML / cakeml · #756 · 2020/09/17 · Standard ML · 1,169 個のスター

0 件のコメント0 件のリアクション0 人の担当者

オープン

Update CakeML tutorial to use monadic translator

help wanted

おすすめ理由担当者がまだいない · 初心者向けラベルあり

担当者がまだいない初心者向けラベルありリポジトリは今月もアクティブ

CakeML / cakeml · #697 · 2019/11/06 · Standard ML · 1,169 個のスター

1 件のコメント0 件のリアクション0 人の担当者

オープン

Replace wc.sh with a CakeML program

help wantedtooling

おすすめ理由担当者がまだいない · コメントがまだない

担当者がまだいないコメントがまだない初心者向けラベルありリポジトリは今月もアクティブ

CakeML / cakeml · #614 · 2019/01/31 · Standard ML · 1,169 個のスター

0 件のコメント0 件のリアクション0 人の担当者

オープン

Lint theory names

dev experiencehelp wantedtooling

おすすめ理由担当者がまだいない · 初心者向けラベルあり

担当者がまだいない初心者向けラベルありリポジトリは今月もアクティブ

CakeML / cakeml · #602 · 2019/01/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 人の担当者

CakeML/cakeml

Issue

新着 Easy issues をメールで受け取る。