symbolic

Python 與 Julia 的高效能符號迴歸。

一個用於 Julia 中自動化平行科學機器學習 (SciML) 的因果建模框架。結合符號學的計算機代數系統，用於物理資訊機器學習與微分方程的自動轉換

用 Javascript (Typescript) 寫的電腦代數系統

用於基於學習的控制和 RL 的 PyBullet CartPole 與 Quadrotor 環境（具備 CasADi 符號先驗動力學）

使用 Rust 重新實作的 Wolfram Language / Mathematica（Wolfram oxidized）

Julia 語言中的分散式高效能符號迴歸

在 Ghidra 中使用 angr

JavaScript 的符號數學表達式求值器。

S2E：一個具備選擇性符號執行功能的多路徑程式分析平台。