There are 4 repositories under symbolic topic.
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
Distributed High-Performance Symbolic Regression in Julia
PyBullet CartPole and Quadrotor environments—with CasADi symbolic a priori dynamics—for learning-based control and RL
Reasoning Engine for Neuro-Symbolic AI
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
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
OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
An efficient symbolic term rewriting engine
An expert system using logic-based artificial intelligence and symbolic AI.
Specify and synthesize systems using symbolic algorithms
Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
ToolChain using Symbolic Execution for Malware Analysis.
A fully-featured symbolic pattern matcher for Clojure.
rusymbols is a Rust crate for symbolic mathematics. It aims to become a full-featured computer algebra system (CAS) while keeping the code as simple as possible in order to be comprehensible and easily extensible. rusymbols is written entirely in Rust.
CLI utility to move (or rename) your files to a new location and redirect all of its symbolic links, to the new path
Symbolic computation using SymPy and various applications