オープン
Export CakeML proofs in OpenTheory format
help wanted
おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルありリポジトリは今月もアクティブ
1 件のコメント0 件のリアクション0 人の担当者
Issue
オープン
astPP doesn't print algebraic datatype correctly
dev experiencehelp wantedlow reward
おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルありリポジトリは今月もアクティブ
7 件のコメント0 件のリアクション0 人の担当者
オープン
Reducing boxing and unboxing of Word64 values
enhancementhelp wantedhigh effort
おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルありリポジトリは今月もアクティブ
1 件のコメント0 件のリアクション0 人の担当者
オープン
Implement make_ex in CakeML
good first issuetooling
おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルありリポジトリは今月もアクティブ
1 件のコメント0 件のリアクション0 人の担当者
オープン
Use a file-based I/O interface to the compiler
good first issuehelp wanteduser experience
おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルありリポジトリは今月もアクティブ
5 件のコメント0 件のリアクション0 人の担当者
オープン
Implement lexer on mlstrings
help wanted
おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルありリポジトリは今月もアクティブ
3 件のコメント0 件のリアクション0 人の担当者
オープン
Add word shifts to basis
enhancementhelp wanted
おすすめ理由初心者向けラベルあり · リポジトリは今月もアクティブ
初心者向けラベルありリポジトリは今月もアクティブ
3 件のコメント0 件のリアクション1 人の担当者
オープン
Support for multi-case functions defined by pattern matching
enhancementhelp wantedhigh effortlow rewarduser experience
おすすめ理由初心者向けラベルあり · リポジトリは今月もアクティブ
初心者向けラベルありリポジトリは今月もアクティブ
8 件のコメント0 件のリアクション2 人の担当者
オープン
Implement `get_opt` in the basis library
enhancementgood first issuehelp wanted
おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルありリポジトリは今月もアクティブ
11 件のコメント0 件のリアクション0 人の担当者
オープン
Add instructions for efficient Div and Mul by (powers of) 2
good first issueperformance
おすすめ理由初心者向けラベルあり · リポジトリは今月もアクティブ
初心者向けラベルありリポジトリは今月もアクティブ
6 件のコメント0 件のリアクション1 人の担当者
オープン
Reduce GiveUps in data_to_word
good first issuehelp wantedlow effortmedium reward
おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルありリポジトリは今月もアクティブ
1 件のコメント0 件のリアクション0 人の担当者
オープン
Support custom failure exceptions in the translator
help wantedlow efforttranslator
おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルありリポジトリは今月もアクティブ
1 件のコメント0 件のリアクション0 人の担当者
オープン
Avoid going through calling convention when entering Handle
enhancementhelp wantedhigh effortlow reward
おすすめ理由担当者がまだいない · コメントがまだない
担当者がまだいないコメントがまだない初心者向けラベルありリポジトリは今月もアクティブ
0 件のコメント0 件のリアクション0 人の担当者
オープン
Remove unnecessary header words
enhancementhelp wantedmedium effortmedium rewardperformance
おすすめ理由初心者向けラベルあり · リポジトリは今月もアクティブ
初心者向けラベルありリポジトリは今月もアクティブ
1 件のコメント0 件のリアクション1 人の担当者
オープン
Derive PMATCH thms for relevant parts of compiler definition
help wantedlow rewardmedium effort
おすすめ理由初心者向けラベルあり · リポジトリは今月もアクティブ
初心者向けラベルありリポジトリは今月もアクティブ
8 件のコメント0 件のリアクション1 人の担当者
オープン
make the translator as stateless as possible
enhancementhelp wantedtranslator
おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルありリポジトリは今月もアクティブ
3 件のコメント0 件のリアクション0 人の担当者
オープン
more readable grammar
help wantedmedium effortmedium reward
おすすめ理由初心者向けラベルあり · リポジトリは今月もアクティブ
初心者向けラベルありリポジトリは今月もアクティブ
2 件のコメント0 件のリアクション1 人の担当者
オープン
target real ELF files for x86-64
help wantedmedium reward
おすすめ理由初心者向けラベルあり · リポジトリは今月もアクティブ
初心者向けラベルありリポジトリは今月もアクティブ
6 件のコメント0 件のリアクション2 人の担当者
オープン
better support for translating recursion through higher-order functions
help wantedhigh effortmedium rewardtranslator
おすすめ理由初心者向けラベルあり · リポジトリは今月もアクティブ
初心者向けラベルありリポジトリは今月もアクティブ
1 件のコメント0 件のリアクション1 人の担当者