Ver no GitHub
Stars
 (109 estrelas)
Forks
 (14 forks)
Issues indexadas
 (9 issues indexadas)
issues iniciantes abertas
 (9 issues iniciantes abertas)
Última indexação
21 de ago. de 2026
Último push no GitHub
30 de jul. de 2026
Guia de contribuição
Nenhum guia de contribuição
Código de conduta
Nenhum código de conduta
Linguagem principal
Lean
Métricas de merge de PR
 (Mesclagem média 12h 48m) (2 PR mescladas em 30 dias)
Labels para iniciantes
help wantedgood first issue

Issues

9 issues indexadas

Aberta
Por que recomendamosAinda sem responsável · Ainda sem comentários
Ainda sem responsávelAinda sem comentáriosTem label amigável para iniciantes

pandaman64 / lean-regex · #152 · 30 de dez. de 2025 · Lean · 109 estrelas

0 comentário1 reação0 responsável
Aberta
Por que recomendamosAinda sem responsável · Ainda sem comentários
Ainda sem responsávelAinda sem comentáriosTem label amigável para iniciantes

pandaman64 / lean-regex · #94 · 8 de jun. de 2025 · Lean · 109 estrelas

0 comentário0 reação0 responsável