Agda parser-combinator Projects
Total Parser Combinators in AgdaProject 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-220.127.116.11/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.
Are you hiring? Post a new remote job listing for free.