Issues du dépôt

pandaman64/lean-regex

Voir sur GitHub
Stars
 (109 étoiles)
Forks
 (14 forks)
Issues indexées
 (9 issues indexées)
issues débutant ouvertes
 (9 issues débutant ouvertes)
Dernière indexation
21 août 2026
Dernier push GitHub
30 juil. 2026
Licence
Apache License 2.0
Guide de contribution
Aucun guide de contribution
Code de conduite
Aucun code de conduite
Langage principal
Lean
Métriques de merge PR
 (Métriques PR en attente)
Labels débutant
help wantedgood first issue

Issues

9 issues indexées ouvertes

Ouverte
Integrate CodSpeed for Continuous Performance Monitoring
enhancementgood first issuehelp wantedoptimization
Pourquoi recommandéeAucune personne assignée · Aucun commentaire pour l'instant
Aucune personne assignéeAucun commentaire pour l'instantLabel adapté aux débutantsDépôt actif ce mois-ci

pandaman64 / lean-regex · #153 · 1 janv. 2026 · Lean · 109 étoiles

0 commentaire0 réaction0 personne assignée
Ouverte
Correctly fail invalid range operators
bughelp wanted
Pourquoi recommandéeAucune personne assignée · Aucun commentaire pour l'instant
Aucune personne assignéeAucun commentaire pour l'instantLabel adapté aux débutantsDépôt actif ce mois-ci

pandaman64 / lean-regex · #152 · 30 déc. 2025 · Lean · 109 étoiles

0 commentaire1 réaction0 personne assignée
Ouverte
Improve string formatting and debugging utilities
enhancementgood first issue
Pourquoi recommandéeAucune personne assignée · Label adapté aux débutants
Aucune personne assignéeLabel adapté aux débutantsDépôt actif ce mois-ci

pandaman64 / lean-regex · #96 · 8 juin 2025 · Lean · 109 étoiles

2 commentaires0 réaction0 personne assignée
Ouverte
Improve parser error messages with context
enhancementgood first issue
Pourquoi recommandéeAucune personne assignée · Aucun commentaire pour l'instant
Aucune personne assignéeAucun commentaire pour l'instantLabel adapté aux débutantsDépôt actif ce mois-ci

pandaman64 / lean-regex · #94 · 8 juin 2025 · Lean · 109 étoiles

0 commentaire0 réaction0 personne assignée