High-Performance Symbolic Regression in Python and Julia
An acausal modeling framework for automatically parallelized scientific ...
Computer Algebra System in Javascript (Typescript)
Use angr in Ghidra
PyBullet CartPole and Quadrotor environments—with CasADi symbolic a prio...
a symbolic math expression evaluator for javascript
An experimental computer algebra system written in Go
General purpose algebraic metaprogramming and symbolic computation libra...
Use angr in the IDA Pro debugger generating a state from the current deb...
Functional tensors for probabilistic programming
Swiss Army knife for Unix permissions
A Dolev-Yao-model-guided fuzzer for TLS
A Kotlin Multi-Platform ecosystem for symbolic AI
An efficient symbolic term rewriting engine
An expert system using logic-based artificial intelligence and symbolic AI.