sourcefrog / cargo-mutants

:zombie: Inject bugs and see if your tests catch them!

tdaylan / NoiseScope

A control instrument for handshake state machines - lint protocol models, replay transcripts, and fly deterministic mutations until a trace diverges.

nicolasmelo1 / software-factory

A method for building software with agents, packaged as a single binary. Every rule that matters is written twice — once as prose that says why, once as a check that fails — and every check has a mutation that proves it fires.