Perses: Syntax-Directed Program Reduction

• perses

  1 149 6.8 Rust

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

  

• perses

  5 523 9.7 TypeScript

  The CNCF candidate for observability visualisation. Already supports Prometheus - 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

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• creduce

  1 1,192 4.5 C++

  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

• csmith

  7 940 4.1 C++

  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

Suggest a related project