phino

phino

objectionary

Command-Line Normalizer, Rewriter, and Dataizer of πœ‘-Calculus Expressions

18 Stars
10 Forks
2 Watchers
Haskell Language
100 SrcLog Score
Cost to Build
$1.01M
Market Value
$2.18M

Growth over time

6 data points  Β·  2025-08-30 β†’ 2026-08-18
Stars Forks Watchers
πŸ’¬

How do you feel about this project?

Ask AI about phino

Question copied to clipboard

What is the objectionary/phino GitHub project? Description: "Command-Line Normalizer, Rewriter, and Dataizer of πœ‘-Calculus Expressions". Written in Haskell. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard β€” paste it after the AI opens.

How to clone phino

Clone via HTTPS

git clone https://github.com/objectionary/phino.git

Clone via SSH

[email protected]:objectionary/phino.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the phino issue tracker:

Open GitHub Issues