symbolic

Python 与 Julia 的高效能符号回归。

一个用于 Julia 中自动并行化科学机器学习 (SciML) 的因果建模框架。用于集成符号学的计算机代数系统，支持物理信息机器学习与微分方程的自动转换

用 Javascript (Typescript) 写的计算机代数系统

用于基于学习的控制和 RL 的 PyBullet CartPole 与 Quadrotor 环境（具备 CasADi 符号先验动力学）

使用 Rust 重新实现的 Wolfram Language / Mathematica（Wolfram oxidized）

Julia 语言中的分布式高性能符号回归

在 Ghidra 中使用 angr

JavaScript 的符号数学表达式求值器。

S2E：一个具备选择性符号执行功能的多路径程序分析平台。