search

Plutonomicon / plutarch-plutus

Typed eDSL for writing UPLC /ˈpluː.tɑːk/
MIT License
123 stars 63 forks source link

Explore using plutonomy instead of Shrinker #454

Open L-as opened 2 years ago

L-as commented 2 years ago

It seems to be better maintained

L-as commented 2 years ago

cc @blamario

L-as commented 2 years ago

https://github.com/well-typed/plutonomy

TotallyNotChase commented 2 years ago

I tried Plutonomy on Plutarch scripts on a project. There were some decent improvements in some scripts, but there were also some losses for some reason.

But in any case, Plutonomy definitely does a bunch of optimizations that Plutarch doesn't right now.

AriFordsham commented 2 years ago

It would be interesting to explore the differences.