Syntax-highlighting, declarative and composable pretty printer for Python 3.5+
A colorized object pretty printer - for Python.
Parser and syntax tree for TLA+, the temporal logic of actions
