Computer Algebra System in Javascript (Coffeescript)

A 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

An experimental computer algebra system written in Go

a symbolic math expression evaluator for javascript

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

Angr plugin for Ghdira

Functional tensors for probabilistic programming

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

An efficient symbolic term rewriting engine

A Mathematica package for generating symbolic models from data

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

A fully-featured symbolic pattern matcher for Clojure.

Specify and synthesize systems using symbolic algorithms

Simple swig bindings for the GNU Linear Programming Kit

A symbolic model checker for Dynamic Epistemic Logic.

Symbolic computation using SymPy and various applications

A Python package for automata theory.

symbolic reachability checker

Library for Data Decision Diagrams and Set Decision Diagrams

A Kotlin Multi-Platform ecosystem for symbolic AI

Symbolic differentation of algebraic expressions with Python and Tcl interfaces.

Symbolic verification of Bitcoin's output scripts

Simple lambda functions without `lambda x:` prefix and with string conversion capability.

Get all symbolic link (file symlinks) using glob

This program demonstrates symbolic derivation from variety of mathematical functions.

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

Core Guarded Action Language and Instantiable Transition System semantics using libDDD.