Works in progress (please contribute):

• Complexity of equivalence relations - https://github.com/jfinkels/equivalence
• Complexity of parsing closed formulas - https://github.com/jfinkels/parseable