pandaman64/lean-regex Issues

星標: (109 顆星)
分叉: (14 個分叉)
已索引議題: (9 個已索引議題)
個開放新手議題: (9 個開放的新手議題)
最近索引: 2026年8月21日
最近 GitHub push: 2026年7月30日
授權條款: Apache License 2.0
貢獻指南: 沒有貢獻指南
行為準則: 沒有行為準則
主要語言: Lean
PR 合併指標: (PR 指標待抓取)
新手標籤: help wantedgood first issue

議題

9 個開放索引議題

開放

Unboxed NFA with Fixed-Width Unsigned Indices for Performance Optimization

enhancementhelp wantedoptimization

為什麼推薦尚無負責人 · 尚無留言

尚無負責人尚無留言帶有初學者友善標籤倉庫本月活躍

pandaman64 / lean-regex · #154 · 2026年1月1日 · Lean · 109 顆星

0 則留言0 個反應0 位負責人

開放

Integrate CodSpeed for Continuous Performance Monitoring

enhancementgood first issuehelp wantedoptimization

為什麼推薦尚無負責人 · 尚無留言

尚無負責人尚無留言帶有初學者友善標籤倉庫本月活躍

pandaman64 / lean-regex · #153 · 2026年1月1日 · 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年6月8日 · Lean · 109 顆星

2 則留言0 個反應0 位負責人

開放

Improve parser error messages with context

enhancementgood first issue

為什麼推薦尚無負責人 · 尚無留言

尚無負責人尚無留言帶有初學者友善標籤倉庫本月活躍

pandaman64 / lean-regex · #94 · 2025年6月8日 · Lean · 109 顆星

0 則留言0 個反應0 位負責人

pandaman64/lean-regex

議題

每天在信箱收到新鮮 Easy issues。