symbolic

A 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

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

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

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

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

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

An efficient symbolic term rewriting engine

A symbolic-model-guided fuzzer for TLS

A Kotlin Multi-Platform ecosystem for symbolic AI

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

Symbolica's open-source symbolic execution engine.

A Mathematica package for generating symbolic models from data

Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.