GitHub repository: well-typed/plutonomy
Primary language: Haskell
Description: An optimizer for untyped plutus core