Agda parser-combinators

Open-source Agda projects categorized as parser-combinators | Edit details
Related topics: #Agda

Agda parser-combinator Projects

  • GitHub repo agdarsec

    Total Parser Combinators in Agda

    Project mention: Record dot syntax has been merged | reddit.com/r/haskell | 2021-03-10

    I've shared my experiences, too, though I don't have specific examples. I find https://hackage.haskell.org/package/parsec-3.1.14.0/docs/src/Text.Parsec.Prim.html mush easier to read, modify, and use than https://github.com/gallais/agdarsec/blob/master/src/Text/Parser.agda . That's a specific example.

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2021-03-10.

Index

Project Stars
1 agdarsec 88
Find remote jobs at our new job board 99remotejobs.com. There are 28 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.
Less time debugging, more time building
Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.
scoutapm.com