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

Logic Language for LLMs 🌱🐋🌍 Build Neuro-Symbolic AI for learning and reasoning

Use angr in Ghidra

Wolfram Language / Mathematica reimplementation in Rust (Wolfram oxidized)

a symbolic math expression evaluator for javascript

S2E: A platform for multi-path program analysis with selective symbolic execution.

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 :crystal_ball:

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

OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.

Swiss Army knife for Unix permissions

SEMA is based on angr, a symbolic execution engine used to extract API calls. Especially, we extend ANGR with strategies to create representative signatures based on System Call Dependency graph (SCDG). Those SCDGs can be exploited in machine learning modules to do classification/detection.

A Kotlin Multi-Platform ecosystem for symbolic AI

Official PyTorch implementation of PSE/PSRN: Fast and efficient symbolic expression discovery through parallelized symbolic enumeration. Evaluates millions of expressions simultaneously on GPU with automated subtree reuse.

An expert system using logic-based artificial intelligence and symbolic AI.

An efficient symbolic term rewriting engine

Symbolica's open-source symbolic execution engine.

A Python package for automata theory.

Specify and synthesize systems using symbolic algorithms

A symbolic model checker for Dynamic Epistemic Logic.