symbolic topic
unix-permissions
Swiss Army knife for Unix permissions
safe-control-gym
PyBullet CartPole and Quadrotor environments—with CasADi symbolic a priori dynamics—for learning-based control and RL
funsor
Functional tensors for probabilistic programming
tlspuffin
A Dolev-Yao-model-guided fuzzer for TLS
Rewrite.jl
An efficient symbolic term rewriting engine
2p-kt
A Kotlin Multi-Platform ecosystem for symbolic AI
knowledgebase
An expert system using logic-based artificial intelligence and symbolic AI.
Symbolica
Symbolica's open-source symbolic execution engine.
omega
Specify and synthesize systems using symbolic algorithms
sym
A Mathematica package for generating symbolic models from data