parsecco is a parser combinator library
An Excel formula language parser, written in Typescript
An SMTLIBv2 parser and AST