Open source repositories tagged with #symbolic, ranked by health score.
OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
Wolfram Language / Mathematica reimplementation in Rust (Wolfram oxidized)
