Behavior-preserving Rust port of yougov/fuzzy verified with upstream tests and differential fuzzing.
python c rust open-source verification memory-safety fuzz-testing systems-programming differential-testing unsafe-free port-mortem port-mortem-2026 language-port
-
Updated
Aug 2, 2026 - C