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