argumentcomputer/Megaparsec.lean
Ver en GitHubLean 4 port of Megaparsec
- Estrellas
- 37
- Forks
- 8
- Issues abiertos para principiantes
- 0
- Issues indexados
- 9
- Lenguaje dominante
- Lean
- Licencia
- MIT
- Último push a GitHub
- 12/9/2023
- Última indexación
- 14/9/2026
- Guía de contribución
- Sin guía de contribución
- Código de conducta
- Sin código de conducta
- Etiquetas para principiantes
- good first issue
- Métricas de merge de PR
- Sin PR fusionados en 30 d
-
argumentcomputer/Megaparsec.lean#18 · 2 comentarios · 0 reacciones · 0 asignados ·
-
Enhancement: Infinite streams Abiertodifficult postponed
argumentcomputer/Megaparsec.lean#20 · 1 comentario · 0 reacciones · 0 asignados ·
-
argumentcomputer/Megaparsec.lean#25 · 0 comentarios · 0 reacciones · 0 asignados ·
-
good first issue
argumentcomputer/Megaparsec.lean#26 · 1 comentario · 0 reacciones · 0 asignados ·
-
argumentcomputer/Megaparsec.lean#29 · 0 comentarios · 0 reacciones · 0 asignados ·
-
argumentcomputer/Megaparsec.lean#40 · 0 comentarios · 0 reacciones · 0 asignados ·
-
Performance: Profile Megaparsec to see where the bottlenecks are leading to poor performance Abierto
argumentcomputer/Megaparsec.lean#54 · 0 comentarios · 0 reacciones · 0 asignados ·
-
Bump Straume version Abierto
argumentcomputer/Megaparsec.lean#55 · 3 comentarios · 0 reacciones · 0 asignados ·
-
Can you update the project? Abierto
argumentcomputer/Megaparsec.lean#59 · 0 comentarios · 0 reacciones · 0 asignados ·