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)

MilesCranmer/SymbolicRegression.jl

Distributed High-Performance Symbolic Regression in Julia

utiasDSL/safe-control-gym

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

Nalen98/AngryGhidra

Use angr in Ghidra

NucleoidAI/Nucleoid

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

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

tlspuffin/tlspuffin

A Dolev-Yao-model-guided fuzzer for TLS

ispras/oss-sydr-fuzz

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

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

tulip-control/omega

Specify and synthesize systems using symbolic algorithms

jrclogic/SMCDEL

A symbolic model checker for Dynamic Epistemic Logic.

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