argumentcomputer/ix
GitHub で見るa zero-knowledge proof-carrying code protocol for Lean 4
- スター
- 96
- フォーク
- 3
- オープンの初心者向け issue
- 0
- 索引済み issue
- 10
- 平均マージ
- 1日 3時間
- マージ済み PR（30日）
- 29
- 主要言語
- Rust
- ライセンス
- Apache-2.0
- 最終 GitHub push
- 2026年9月17日
- 最新の索引
- 2026年9月14日
- コントリビューションガイド
- コントリビューションガイドがありません
- 行動規範
- 行動規範がありません
- 初心者向けラベル
- 初心者向けラベルは索引されていません
-
`io_load_info` オープン
argumentcomputer/ix#419 · 担当者 1 名 ·
-
難易度 5/5 1週間以上 初心者へのやさしさ 15/100
argumentcomputer/ix#389 ·
-
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
argumentcomputer/ix#373 ·
-
難易度 5/5 1週間以上 初心者へのやさしさ 28/100
argumentcomputer/ix#350 · リアクション 1 件 ·
-
bug enhancement rust
難易度 4/5 3〜5日 初心者へのやさしさ 45/100
argumentcomputer/ix#303 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
argumentcomputer/ix#291 ·
-
ix
難易度 3/5 1〜2日 初心者へのやさしさ 55/100
argumentcomputer/ix#277 · コメント 1 件 ·
-
Fix build on macOS オープン
難易度 4/5 3〜5日 初心者へのやさしさ 48/100
argumentcomputer/ix#262 · コメント 1 件 · リアクション 1 件 ·
-
enhancement
難易度 3/5 1〜2日 初心者へのやさしさ 42/100
argumentcomputer/ix#256 ·
-
enhancement hot-path ix
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
argumentcomputer/ix#168 ·