pandaman64/lean-regex Issues

星标: (109 个星标)
派生: (14 个派生)
已索引议题: (9 个已索引议题)
个开放新手议题: (9 个开放的新手议题)
最近索引: 2026年8月21日
最近 GitHub push: 2026年7月30日
许可证: Apache License 2.0
贡献指南: 没有贡献指南
行为准则: 没有行为准则
主要语言: Lean
PR 合并指标: (平均合并 12小时 48分钟) (30 天内合并 2 个 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。