symbolic topic
PySR
High-Performance Symbolic Regression in Python and Julia
SymbolicRegression.jl
Distributed High-Performance Symbolic Regression in Julia
Nucleoid
Neuro-Symbolic AI with Knowledge Graph | "True Reasoning" through data and logic 🌿🌱🐋🌍
SMCDEL
A symbolic model checker for Dynamic Epistemic Logic.
pythomata
A Python package for automata theory.
rusymbols
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 easil...
matcher
A fully-featured symbolic pattern matcher for Clojure.
egga
Symbolic Geometric Algebra with E-Graphs
torch-spherical-harmonics
Real Spherical Harmonics for PyTorch
PAndQ.jl
A computer algebra system for propositional logic