symbolic

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)

a symbolic math expression evaluator for javascript

Use angr in Ghidra

An experimental computer algebra system written in Go

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

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

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 Symbolic Package for Octave using SymPy

Swiss Army knife for Unix permissions

A symbolic-model-guided fuzzer for TLS

A python framework for symbolic music generation, evaluation and analysis

An efficient symbolic term rewriting engine

A Kotlin Multi-Platform ecosystem for symbolic AI

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

An expert system using logic-based artificial intelligence and symbolic AI.

Symbolica's open-source symbolic execution engine.