GitHub repository: ret/specifica
Primary language: Haskell
Description: Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)