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.