symbolic

SciML/ModelingToolkit.jl

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

davidedc/Algebrite

Computer Algebra System in Javascript (Typescript)

utiasDSL/safe-control-gym

PyBullet CartPole and Quadrotor environments—with CasADi symbolic a priori dynamics—for learning-based control and RL

MilesCranmer/SymbolicRegression.jl

Distributed High-Performance Symbolic Regression in Julia

NucleoidAI/Nucleoid

Neuro-Symbolic AI with Knowledge Graph | "True Reasoning" through data and logic 🌿🌱🐋🌍

Nalen98/AngryGhidra

Use angr in Ghidra

jiggzson/nerdamer

a symbolic math expression evaluator for javascript

S2E/s2e

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

corywalker/expreduce

An experimental computer algebra system written in Go

JuliaSymbolics/Metatheory.jl

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.

andreafioraldi/IDAngr

Use angr in the IDA Pro debugger generating a state from the current debug session

pygae/galgebra

Symbolic Geometric Algebra/Calculus package for SymPy :crystal_ball:

pyro-ppl/funsor

Functional tensors for probabilistic programming

uw-biorobotics/IKBT

A python package to solve robot arm inverse kinematics in symbolic form

carlosholivan/musicaiz

A python framework for symbolic music generation, evaluation and analysis

gnu-octave/symbolic

A Symbolic Package for Octave using SymPy

ehmicky/unix-permissions

Swiss Army knife for Unix permissions

ispras/oss-sydr-fuzz

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

tlspuffin/tlspuffin

A Dolev-Yao-model-guided fuzzer for TLS

csvl/SEMA

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.

tuProlog/2p-kt

A Kotlin Multi-Platform ecosystem for symbolic AI

primaryobjects/knowledgebase

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

HarrisonGrodin/Rewrite.jl

An efficient symbolic term rewriting engine

Symbolica/Symbolica

Symbolica's open-source symbolic execution engine.

whitemech/pythomata

A Python package for automata theory.

paulknysh/sym

A Mathematica package for generating symbolic models from data

jrclogic/SMCDEL

A symbolic model checker for Dynamic Epistemic Logic.

tulip-control/omega

Specify and synthesize systems using symbolic algorithms

McMasterU/HashedExpression

Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.

ispras/crusher

simensgreen/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 easily extensible. rusymbols is written entirely in Rust.

opencobra/swiglpk

Simple swig bindings for the GNU Linear Programming Kit

cognesence/matcher

A fully-featured symbolic pattern matcher for Clojure.

Letian2003/C-VQA

Counterfactual Reasoning VQA Dataset

go-air/reach

symbolic reachability checker