How to generate random but valid source programs?

• csmith

  7 940 4.1 C++

  Csmith, a random generator of C programs

  

Generating C programs that are random yet syntactically/semantically valid is a thorny problem. You’ll almost certainly want to build upon the work of the Csmith team (Csmith being designed exactly for use cases like these): https://github.com/csmith-project/csmith

• ouroboros-network

  8 264 9.7 Haskell

  Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesus protocols; the diffusion layer of the Cardano Node.

  

This is non trivial, you can check an example how we generate valid subset of Haskell to check that our implementation of orElse is corect: https://github.com/input-output-hk/ouroboros-network/blob/master/io-sim/test/Test/STM.hs

• 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.

  

Suggest a related project