argumentcomputer/Wasm.lean
GitHub で見るA WebAssembly implementation in Lean4
- スター
- 48
- フォーク
- 6
- オープンの初心者向け issue
- 0
- 索引済み issue
- 11
- 主要言語
- Lean
- ライセンス
- MIT
- 最終 GitHub push
- 2023年12月13日
- 最新の索引
- 2026年9月14日
- コントリビューションガイド
- コントリビューションガイドがありません
- 行動規範
- 行動規範がありません
- 初心者向けラベル
- 初心者向けラベルは索引されていません
- PR マージ指標
- 30日以内にマージされた PR はありません
-
argumentcomputer/Wasm.lean#15 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
argumentcomputer/Wasm.lean#25 · コメント 2 件 · リアクション 0 件 · 担当者 0 名 ·
-
argumentcomputer/Wasm.lean#26 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
argumentcomputer/Wasm.lean#27 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
argumentcomputer/Wasm.lean#37 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
argumentcomputer/Wasm.lean#47 · コメント 1 件 · リアクション 0 件 · 担当者 0 名 ·
-
lowpriority
argumentcomputer/Wasm.lean#54 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
lowpriority
argumentcomputer/Wasm.lean#59 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
lowpriority
argumentcomputer/Wasm.lean#61 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
highpriority
argumentcomputer/Wasm.lean#66 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
epic
argumentcomputer/Wasm.lean#67 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·