- Stars
- 109 Sterne (109 Sterne)
- Forks
- 14 Forks (14 Forks)
- Indexierte Issues
- 9 indexierte Issues (9 indexierte Issues)
- offene Einsteiger-Issues
- 9 offene Einsteiger-Issues (9 offene Einsteiger-Issues)
- Zuletzt indexiert
- 21.08.2026
- Letzter GitHub Push
- 30.07.2026
- Contributing Guide
- Kein Contributing Guide
- Code of Conduct
- Kein Code of Conduct
- Hauptsprache
- Lean
- PR-Merge-Metriken
- PR-Metriken ausstehend (PR-Metriken ausstehend)
- Einsteiger-Labels
- help wantedgood first issue
Warum empfohlenNoch niemand zugewiesen · Noch keine Kommentare
Noch niemand zugewiesenNoch keine KommentareEinsteigerfreundliches Label vorhandenRepository diesen Monat aktiv
pandaman64 / lean-regex · #154 · 01.01.2026 · Lean · 109 Sterne
0 Kommentare0 Reaktionen0 zugewiesene Personen Warum empfohlenNoch niemand zugewiesen · Noch keine Kommentare
Noch niemand zugewiesenNoch keine KommentareEinsteigerfreundliches Label vorhandenRepository diesen Monat aktiv
pandaman64 / lean-regex · #153 · 01.01.2026 · Lean · 109 Sterne
0 Kommentare0 Reaktionen0 zugewiesene Personen Warum empfohlenNoch niemand zugewiesen · Noch keine Kommentare
Noch niemand zugewiesenNoch keine KommentareEinsteigerfreundliches Label vorhandenRepository diesen Monat aktiv
pandaman64 / lean-regex · #152 · 30.12.2025 · Lean · 109 Sterne
0 Kommentare1 Reaktion0 zugewiesene Personen Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhandenRepository diesen Monat aktiv
pandaman64 / lean-regex · #142 · 27.11.2025 · Lean · 109 Sterne
1 Kommentar0 Reaktionen0 zugewiesene Personen Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhandenRepository diesen Monat aktiv
pandaman64 / lean-regex · #141 · 27.11.2025 · Lean · 109 Sterne
6 Kommentare0 Reaktionen0 zugewiesene Personen Warum empfohlenNoch niemand zugewiesen · Noch keine Kommentare
Noch niemand zugewiesenNoch keine KommentareEinsteigerfreundliches Label vorhandenRepository diesen Monat aktiv
pandaman64 / lean-regex · #139 · 25.11.2025 · Lean · 109 Sterne
0 Kommentare0 Reaktionen0 zugewiesene Personen Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhandenRepository diesen Monat aktiv
pandaman64 / lean-regex · #137 · 25.11.2025 · Lean · 109 Sterne
1 Kommentar0 Reaktionen0 zugewiesene Personen Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhandenRepository diesen Monat aktiv
pandaman64 / lean-regex · #96 · 08.06.2025 · Lean · 109 Sterne
2 Kommentare0 Reaktionen0 zugewiesene Personen Warum empfohlenNoch niemand zugewiesen · Noch keine Kommentare
Noch niemand zugewiesenNoch keine KommentareEinsteigerfreundliches Label vorhandenRepository diesen Monat aktiv
pandaman64 / lean-regex · #94 · 08.06.2025 · Lean · 109 Sterne
0 Kommentare0 Reaktionen0 zugewiesene Personen