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

jiggzson/nerdamer

a symbolic math expression evaluator for javascript

NucleoidAI/Nucleoid

Reasoning Engine for Neuro-Symbolic AI

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

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.

tuProlog/2p-kt

A Kotlin Multi-Platform ecosystem for symbolic AI

HarrisonGrodin/Rewrite.jl

An efficient symbolic term rewriting engine

primaryobjects/knowledgebase

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

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

csvl/SEMA-ToolChain

ToolChain using Symbolic Execution for Malware Analysis.

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.

jrclogic/SMCDEL

A symbolic model checker for Dynamic Epistemic Logic.

ispras/crusher

opencobra/swiglpk

Simple swig bindings for the GNU Linear Programming Kit

cognesence/matcher

A fully-featured symbolic pattern matcher for Clojure.

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.

go-air/reach

symbolic reachability checker

Letian2003/C-VQA

Counterfactual Reasoning VQA Dataset

tirthajyoti/Symbolic-computation-Python

Symbolic computation using SymPy and various applications