Perses: Syntax-Directed Program Reduction

This page summarizes the projects mentioned and recommended in the original post on news.ycombinator.com

SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured
  1. perses

    language-agnostic program reducer. (by uw-pluverse)

  2. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
  3. perses

    The CNCF sandbox for observability visualisation. Already supports Prometheus, Tempo, Loki and Pyroscope - more data sources to come!

    Perses is also the name of this Prometheus dataviz project: https://github.com/perses/perses

    Funny that the God of Destruction is such a hot name lately

  4. creduce

    C-Reduce, a C and C++ program reducer

    Yes! Another well-known program reducer is C-Reduce [0]. When Csmith [1] started churning out very large programs that exhibited errors in C compilers, the compiler maintainers asked the researchers to please reduce the ~81KB files to a more manageable size so they could understand the errors better. C-Reduce was developed specifically to address that need.

    [0] https://github.com/csmith-project/creduce

    [1] https://github.com/csmith-project/csmith

  5. csmith

    Csmith, a random generator of C programs

    Yes! Another well-known program reducer is C-Reduce [0]. When Csmith [1] started churning out very large programs that exhibited errors in C compilers, the compiler maintainers asked the researchers to please reduce the ~81KB files to a more manageable size so they could understand the errors better. C-Reduce was developed specifically to address that need.

    [0] https://github.com/csmith-project/creduce

    [1] https://github.com/csmith-project/csmith

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

Did you know that C++ is
the 7th most popular programming language
based on number of references?