phino

phino

objectionary

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

19 Stars
17 Forks
2 Watchers
Haskell Language
100 SrcLog Score
Cost to Build
$5.84M
Market Value
$14.49M

Growth over time

7 data points  Β·  2025-08-01 β†’ 2026-11-01
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.

πŸ† Show off this rank

objectionary/phino on SrcLog (holo style)

Add it to a GitHub README or profile β€” the card updates as the ranking changes:

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