argotorg/shuffler.lean
lean4 formaliztion of solc's plan based stack shuffler
argotorg/shuffler.lean は初心者に優しい？
直近 30 日間に、argotorg/shuffler.lean は外部コントリビューターの PR 18 件のうち 12 件をマージしました。メンテナーはふだん 1 日以内に返信します。 初心者向けのオープンな issue は今はありません。下の一覧に、このリポジトリのほかの issue があります。
- スター
- 1
- フォーク
- 2
- オープンの初心者向け issue
- 0
- 索引済み issue
- 1
- 平均マージ
- 1日 20時間
- マージ済み PR（30日）
- 12
- 主要言語
- Lean
- ライセンス
- ライセンスのデータがありません
- 最終 GitHub push
- 2026年11月4日
- 最新の索引
- 2026年9月29日
- コントリビューションガイド
- コントリビューションガイドがありません
- 行動規範
- 行動規範がありません
- 初心者向けラベル
- 初心者向けラベルは索引されていません
argotorg/shuffler.lean にコントリビュートするには
- コントリビューションガイドはないので、README と最近マージされた PR をいくつか読んで、変更の出し方をつかみましょう。
- リポジトリをフォローすれば、新しい初心者向け issue が出たときにわかります。下のほかの issue も見てみましょう。
誰かが対応中かもしれないイシューは最後に並べています。 すべて日付順に表示
-
難易度 5/5 1週間以上 初心者へのやさしさ 35/100
メンテナーはふだん 1 日以内に返信