pandaman64/lean-regex Issues

Stars: (109 個のスター)
Forks: (14 件のフォーク)
Indexed issues: (9 件の索引済み Issue)
open beginner issues: (9 件のオープンな初心者向け Issue)
最終索引: 2026/08/21
最終 GitHub push: 2026/07/30
ライセンス: Apache License 2.0
コントリビューションガイド: コントリビューションガイドはありません
行動規範: 行動規範はありません
主要言語: Lean
PR merge metrics: (PR metrics pending)
初心者向けラベル: help wantedgood first issue

Issue

9 件のオープンな索引 Issue

オープン

Unboxed NFA with Fixed-Width Unsigned Indices for Performance Optimization

enhancementhelp wantedoptimization

おすすめ理由担当者がまだいない · コメントがまだない

担当者がまだいないコメントがまだない初心者向けラベルありリポジトリは今月もアクティブ

pandaman64 / lean-regex · #154 · 2026/01/01 · Lean · 109 個のスター

0 件のコメント0 件のリアクション0 人の担当者

オープン

Integrate CodSpeed for Continuous Performance Monitoring

enhancementgood first issuehelp wantedoptimization

おすすめ理由担当者がまだいない · コメントがまだない

担当者がまだいないコメントがまだない初心者向けラベルありリポジトリは今月もアクティブ

pandaman64 / lean-regex · #153 · 2026/01/01 · Lean · 109 個のスター

0 件のコメント0 件のリアクション0 人の担当者

オープン

Correctly fail invalid range operators

bughelp wanted

おすすめ理由担当者がまだいない · コメントがまだない

担当者がまだいないコメントがまだない初心者向けラベルありリポジトリは今月もアクティブ

pandaman64 / lean-regex · #152 · 2025/12/30 · Lean · 109 個のスター

0 件のコメント1 件のリアクション0 人の担当者

オープン

Prove equivalence between AST-level and Expr-level regex semantics (`captures_iff_captures`)

enhancementformal proofgood first issuehelp wanted

おすすめ理由担当者がまだいない · 初心者向けラベルあり

担当者がまだいない初心者向けラベルありリポジトリは今月もアクティブ

pandaman64 / lean-regex · #142 · 2025/11/27 · Lean · 109 個のスター

1 件のコメント0 件のリアクション0 人の担当者

オープン

Grammar Formalization: Define Regex Syntax as a Context‑Free Grammar

documentationformal proofhelp wanted

おすすめ理由担当者がまだいない · 初心者向けラベルあり

担当者がまだいない初心者向けラベルありリポジトリは今月もアクティブ

pandaman64 / lean-regex · #141 · 2025/11/27 · Lean · 109 個のスター

6 件のコメント0 件のリアクション0 人の担当者

オープン

Unicode RL1.4 support: Update Word Boundaries to Use Unicode Properties (`\b`, `\B`)

enhancementgood first issuehelp wantedunicode

おすすめ理由担当者がまだいない · コメントがまだない

担当者がまだいないコメントがまだない初心者向けラベルありリポジトリは今月もアクティブ

pandaman64 / lean-regex · #139 · 2025/11/25 · Lean · 109 個のスター

0 件のコメント0 件のリアクション0 人の担当者

オープン

Unicode RL1.2 support: Implement Unicode Properties (`\p{...}` and `\P{...}`)

enhancementformal proofhelp wantedunicode

おすすめ理由担当者がまだいない · 初心者向けラベルあり

担当者がまだいない初心者向けラベルありリポジトリは今月もアクティブ

pandaman64 / lean-regex · #137 · 2025/11/25 · Lean · 109 個のスター

1 件のコメント0 件のリアクション0 人の担当者

オープン

Improve string formatting and debugging utilities

enhancementgood first issue

おすすめ理由担当者がまだいない · 初心者向けラベルあり

担当者がまだいない初心者向けラベルありリポジトリは今月もアクティブ

pandaman64 / lean-regex · #96 · 2025/06/08 · Lean · 109 個のスター

2 件のコメント0 件のリアクション0 人の担当者

オープン

Improve parser error messages with context

enhancementgood first issue

おすすめ理由担当者がまだいない · コメントがまだない

担当者がまだいないコメントがまだない初心者向けラベルありリポジトリは今月もアクティブ

pandaman64 / lean-regex · #94 · 2025/06/08 · Lean · 109 個のスター

0 件のコメント0 件のリアクション0 人の担当者

pandaman64/lean-regex

Issue

新着 Easy issues をメールで受け取る。