argumentcomputer/Megaparsec.lean
Lean 4 port of Megaparsec
argumentcomputer/Megaparsec.lean は初心者に優しい？
argumentcomputer/Megaparsec.lean への外部コントリビューターの PR が最近は少なく、どのくらいマージされるかはまだ言えません。 初心者向けのオープンな issue は今はありません。下の一覧に、このリポジトリのほかの issue があります。
- スター
- 37
- フォーク
- 8
- オープンの初心者向け issue
- 0
- 索引済み issue
- 9
- 主要言語
- Lean
- ライセンス
- MIT
- 最終 GitHub push
- 2023年9月12日
- 最新の索引
- 2026年9月14日
- コントリビューションガイド
- コントリビューションガイドがありません
- 行動規範
- 行動規範がありません
- 初心者向けラベル
- good first issue
- PR マージ指標
- 30日以内にマージされた PR はありません
argumentcomputer/Megaparsec.lean にコントリビュートするには
- コントリビューションガイドはないので、README と最近マージされた PR をいくつか読んで、変更の出し方をつかみましょう。
- あなたのコントリビュートはプロジェクトの MIT ライセンスで公開されます。
- リポジトリをフォローすれば、新しい初心者向け issue が出たときにわかります。下のほかの issue も見てみましょう。
誰かが対応中かもしれないイシューは最後に並べています。 すべて日付順に表示
-
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
-
Bump Straume versionオープン
難易度 3/5 1〜2日 初心者へのやさしさ 35/100
argumentcomputer/Megaparsec.lean#55 · コメント 3 件 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 25/100
-
難易度 3/5 1〜2日 初心者へのやさしさ 35/100
-
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
-
good first issue
難易度 2/5 1〜3時間 初心者へのやさしさ 52/100
argumentcomputer/Megaparsec.lean#26 · コメント 1 件 ·
-
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
-
difficult postponed
難易度 5/5 1週間以上 初心者へのやさしさ 20/100
argumentcomputer/Megaparsec.lean#20 · コメント 1 件 ·
-
難易度 3/5 1〜2日 初心者へのやさしさ 35/100
argumentcomputer/Megaparsec.lean#18 · コメント 2 件 ·