GitHub repository: objectionary/eo-phi-normalizer
Primary language: Haskell
Description: Command Line Normalizer and Rewriter of 𝜑-calculus Expressions (part of EOLANG family)