- Stars
- 109 stars (109 stars)
- Forks
- 14 forks (14 forks)
- Indexed issues
- 9 indexed issues (9 indexed issues)
- open beginner issues
- 9 open beginner issues (9 open beginner issues)
- Latest indexed
- Aug 21, 2026
- Last GitHub push
- Jul 30, 2026
- Contributing guide
- No contributing guide
- Code of conduct
- No code of conduct
- Dominant language
- Lean
- PR merge metrics
- PR metrics pending (PR metrics pending)
- Beginner labels
- help wantedgood first issue
Why recommendedNo assignee yet · No comments yet
No assignee yetNo comments yetHas a beginner-friendly labelRepository active this month
pandaman64 / lean-regex · #154 · Jan 1, 2026 · Lean · 109 stars
0 comments0 reactions0 assignees Why recommendedNo assignee yet · No comments yet
No assignee yetNo comments yetHas a beginner-friendly labelRepository active this month
pandaman64 / lean-regex · #153 · Jan 1, 2026 · Lean · 109 stars
0 comments0 reactions0 assignees Why recommendedNo assignee yet · No comments yet
No assignee yetNo comments yetHas a beginner-friendly labelRepository active this month
pandaman64 / lean-regex · #152 · Dec 30, 2025 · Lean · 109 stars
0 comments1 reaction0 assignees Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly labelRepository active this month
pandaman64 / lean-regex · #142 · Nov 27, 2025 · Lean · 109 stars
1 comment0 reactions0 assignees Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly labelRepository active this month
pandaman64 / lean-regex · #141 · Nov 27, 2025 · Lean · 109 stars
6 comments0 reactions0 assignees Why recommendedNo assignee yet · No comments yet
No assignee yetNo comments yetHas a beginner-friendly labelRepository active this month
pandaman64 / lean-regex · #139 · Nov 25, 2025 · Lean · 109 stars
0 comments0 reactions0 assignees Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly labelRepository active this month
pandaman64 / lean-regex · #137 · Nov 25, 2025 · Lean · 109 stars
1 comment0 reactions0 assignees Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly labelRepository active this month
pandaman64 / lean-regex · #96 · Jun 8, 2025 · Lean · 109 stars
2 comments0 reactions0 assignees Why recommendedNo assignee yet · No comments yet
No assignee yetNo comments yetHas a beginner-friendly labelRepository active this month
pandaman64 / lean-regex · #94 · Jun 8, 2025 · Lean · 109 stars
0 comments0 reactions0 assignees 