argumentcomputer/Megaparsec.lean
Voir sur GitHubLean 4 port of Megaparsec
- Étoiles
- 37
- Forks
- 8
- Issues débutants ouvertes
- 0
- Issues indexées
- 9
- Langage dominant
- Lean
- Licence
- MIT
- Dernier push GitHub
- 12/9/2023
- Dernière indexation
- 14/9/2026
- Guide de contribution
- Aucun guide de contribution
- Code de conduite
- Aucun code de conduite
- Labels débutants
- good first issue
- Métriques de merge des PR
- Aucune PR mergée en 30 j
-
argumentcomputer/Megaparsec.lean#18 · 2 commentaires · 0 réactions · 0 personnes assignées ·
-
Enhancement: Infinite streams Ouvertedifficult postponed
argumentcomputer/Megaparsec.lean#20 · 1 commentaire · 0 réactions · 0 personnes assignées ·
-
argumentcomputer/Megaparsec.lean#25 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
good first issue
argumentcomputer/Megaparsec.lean#26 · 1 commentaire · 0 réactions · 0 personnes assignées ·
-
argumentcomputer/Megaparsec.lean#29 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
argumentcomputer/Megaparsec.lean#40 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
Performance: Profile Megaparsec to see where the bottlenecks are leading to poor performance Ouverte
argumentcomputer/Megaparsec.lean#54 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
Bump Straume version Ouverte
argumentcomputer/Megaparsec.lean#55 · 3 commentaires · 0 réactions · 0 personnes assignées ·
-
Can you update the project? Ouverte
argumentcomputer/Megaparsec.lean#59 · 0 commentaires · 0 réactions · 0 personnes assignées ·