Fuuzetsu/agdoparsec
Agda implementation of what aims to model the behaviour of Haskell's Attoparsec library.
GitHub repository with 5 stars and 1 forks.
Language: Agda
Latest metric snapshot
2026-07-15: 5 stars and 1 forks.
Agda implementation of what aims to model the behaviour of Haskell's Attoparsec library.
GitHub repository with 5 stars and 1 forks.
Language: Agda
2026-07-15: 5 stars and 1 forks.