GitHub repository: sano-jin/vertex
Primary language: Haskell
Description: A proof of concept of DHLMNtal.