High-Performance Symbolic Regression in Python and Julia

An acausal modeling framework for automatically parallelized scientific machine learning (SciML) in Julia. A computer algebra system for integrated symbolics for physics-informed machine learning and automated transformations of differential equations

Computer Algebra System in Javascript (Typescript)

Distributed High-Performance Symbolic Regression in Julia

Use angr in Ghidra

PyBullet CartPole and Quadrotor environments—with CasADi symbolic a priori dynamics—for learning-based control and RL

a symbolic math expression evaluator for javascript

Reasoning Engine for Neuro-Symbolic AI

S2E: A platform for multi-path program analysis with selective symbolic execution.

An experimental computer algebra system written in Go

General purpose algebraic metaprogramming and symbolic computation library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.

Use angr in the IDA Pro debugger generating a state from the current debug session

Functional tensors for probabilistic programming

A python package to solve robot arm inverse kinematics in symbolic form

A python framework for symbolic music generation, evaluation and analysis

A Symbolic Package for Octave using SymPy

Swiss Army knife for Unix permissions

A Dolev-Yao-model-guided fuzzer for TLS

OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.

A Kotlin Multi-Platform ecosystem for symbolic AI