argumentcomputer

argumentcomputer/Megaparsec.lean

Lean 4 port of Megaparsec

Stars: 37
Forks: 8
Open beginner issues: 0
Indexed issues: 9

Dominant language: Lean
License: MIT
Last GitHub push: Sep 12, 2023
Latest indexed: Sep 14, 2026
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Beginner labels: good first issue
PR merge metrics: No merged PRs in 30d

Open All

9 open issues indexed

Usability: Errors in bundles should be sorted by offset Open

argumentcomputer/Megaparsec.lean#18 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Enhancement: Infinite streams Open

difficult postponed

argumentcomputer/Megaparsec.lean#20 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Improvement: lift universes in String and Char modules or make \a \b universes independent from \w universe Open

argumentcomputer/Megaparsec.lean#25 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Improvement: Add a `debug` combinator Open

good first issue

argumentcomputer/Megaparsec.lean#26 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Naming: Rename Common lean to something else. (What ??) Open

argumentcomputer/Megaparsec.lean#29 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Documentation: Update README to match the current implementation Open

argumentcomputer/Megaparsec.lean#40 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Performance: Profile Megaparsec to see where the bottlenecks are leading to poor performance Open

argumentcomputer/Megaparsec.lean#54 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Bump Straume version Open

argumentcomputer/Megaparsec.lean#55 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Can you update the project? Open

argumentcomputer/Megaparsec.lean#59 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026

A short digest of beginner-friendly GitHub issues.