Repository navigation
symbolic
- Website
- Wikipedia
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)
PyBullet CartPole and Quadrotor environments—with CasADi symbolic a priori dynamics—for learning-based control and RL
Distributed High-Performance Symbolic Regression in Julia
Neuro-Symbolic AI with Knowledge Graph | "True Reasoning" through data and logic 🌿🌱🐋🌍
Use angr in Ghidra
a symbolic math expression evaluator for javascript
An experimental computer algebra system written in Go
Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning 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
Symbolic Geometric Algebra/Calculus package for SymPy 🔮
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
A Dolev-Yao-model-guided fuzzer for TLS
Swiss Army knife for Unix permissions
OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.