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