Is there an automatic approach to program optimization?

This page summarizes the projects mentioned and recommended in the original post on

Our great sponsors
  • SonarLint - Deliver Cleaner and Safer Code - Right in Your IDE of Choice!
  • Scout APM - Less time debugging, more time building
  • OPS - Build and Run Open Source Unikernels
  • GitHub repo haskell-frex

    The work that is closest to real is [FREX]( which has an [implementation in metaocaml]( and an [implementation in Haskell]( As far as I know [Ohad Kammar]( is also working on an [Idris]( version.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts