I nominate
It provides highly-ergonomic abstractions for generating proc macro parsers. The user writes types which represent the nodes in the syntax tree (enums for alternatives, structs for sequences), the crate does the rest.
4 Likes