- Star
- 109 stelle (109 stelle)
- Fork
- 14 fork (14 fork)
- Issue indicizzate
- 9 issue indicizzate (9 issue indicizzate)
- issue per principianti aperte
- 9 issue per principianti aperte (9 issue per principianti aperte)
- Ultima indicizzazione
- 21 ago 2026
- Ultimo push GitHub
- 30 lug 2026
- Guida contributori
- Nessuna guida contributori
- Codice di condotta
- Nessun codice di condotta
- Linguaggio principale
- Lean
- Metriche merge PR
- Metriche PR in attesa (Metriche PR in attesa)
- Label per principianti
- help wantedgood first issue
Perché consigliataNessun assegnatario · Nessun commento
Nessun assegnatarioNessun commentoHa una label adatta ai principiantiRepository attivo questo mese
pandaman64 / lean-regex · #154 · 1 gen 2026 · Lean · 109 stelle
0 commenti0 reazioni0 assegnatari Perché consigliataNessun assegnatario · Nessun commento
Nessun assegnatarioNessun commentoHa una label adatta ai principiantiRepository attivo questo mese
pandaman64 / lean-regex · #153 · 1 gen 2026 · Lean · 109 stelle
0 commenti0 reazioni0 assegnatari Perché consigliataNessun assegnatario · Nessun commento
Nessun assegnatarioNessun commentoHa una label adatta ai principiantiRepository attivo questo mese
pandaman64 / lean-regex · #152 · 30 dic 2025 · Lean · 109 stelle
0 commenti1 reazione0 assegnatari Perché consigliataNessun assegnatario · Ha una label adatta ai principianti
Nessun assegnatarioHa una label adatta ai principiantiRepository attivo questo mese
pandaman64 / lean-regex · #142 · 27 nov 2025 · Lean · 109 stelle
1 commento0 reazioni0 assegnatari Perché consigliataNessun assegnatario · Ha una label adatta ai principianti
Nessun assegnatarioHa una label adatta ai principiantiRepository attivo questo mese
pandaman64 / lean-regex · #141 · 27 nov 2025 · Lean · 109 stelle
6 commenti0 reazioni0 assegnatari Perché consigliataNessun assegnatario · Nessun commento
Nessun assegnatarioNessun commentoHa una label adatta ai principiantiRepository attivo questo mese
pandaman64 / lean-regex · #139 · 25 nov 2025 · Lean · 109 stelle
0 commenti0 reazioni0 assegnatari Perché consigliataNessun assegnatario · Ha una label adatta ai principianti
Nessun assegnatarioHa una label adatta ai principiantiRepository attivo questo mese
pandaman64 / lean-regex · #137 · 25 nov 2025 · Lean · 109 stelle
1 commento0 reazioni0 assegnatari Perché consigliataNessun assegnatario · Ha una label adatta ai principianti
Nessun assegnatarioHa una label adatta ai principiantiRepository attivo questo mese
pandaman64 / lean-regex · #96 · 8 giu 2025 · Lean · 109 stelle
2 commenti0 reazioni0 assegnatari Perché consigliataNessun assegnatario · Nessun commento
Nessun assegnatarioNessun commentoHa una label adatta ai principiantiRepository attivo questo mese
pandaman64 / lean-regex · #94 · 8 giu 2025 · Lean · 109 stelle
0 commenti0 reazioni0 assegnatari 