GitHub repository: objectionary/try-phi
Primary language: Haskell
Description: Online interactive parser and translator of EO and 𝜑-calculus