Projects in Awesome Lists tagged with phi-calculus

A curated list of projects in awesome lists tagged with phi-calculus .

• Sort

  • Recently synced
  • Stars

https://github.com/objectionary/phino

Command-Line Normalizer, Rewriter, and Dataizer of 𝜑-Calculus Expressions

code-analysis command-line-tool eolang formalization haskell normalization phi-calculus

Last synced: 24 May 2026

https://github.com/l3r8yj/phi-reducer

Experimental repo

eo phi-calculus

Last synced: 12 Apr 2025