gallais / agdarsecLinks
Total Parser Combinators in Agda
☆132Updated 2 weeks ago
Alternatives and similar repositories for agdarsec
Users that are interested in agdarsec are comparing it to the libraries listed below
Sorting:
- Compiling Agda code to readable Haskell☆190Updated 3 weeks ago
- Language Server for Agda☆113Updated 3 weeks ago
- Agda bindings to SMT-LIB2 compatible solvers.☆101Updated last week
- Strongly-typed System F in Haskell☆118Updated 2 years ago
- Programming library for Agda