I think Puffs looks like a cool new project: https://news.ycombinator.com/item?id=15711767 https://news.ycombinator.com/item?id=15711767 Edit: Looks like it wa

I think Puffs looks like a cool new project: https://news.ycombinator.com/item?id=15711767 https://news.ycombinator.com/item?id=15711767 Edit: Looks like it was renamed to Wuffs: https://github.com/google/wuffs https://github.com/google/wuffs It's a domain-specific language for parsers that should be fast and must be correct, and it includes relatively light-weight verification.