Computer Algebra System in Javascript (Coffeescript)

An experimental computer algebra system written in Go

a symbolic math expression evaluator for javascript

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

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

Functional tensors for probabilistic programming

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

A Symbolic Package for Octave using SymPy

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

A symbolic model checker for Dynamic Epistemic Logic.

Simple swig bindings for the GNU Linear Programming Kit

Symbolic computation using SymPy and various applications

symbolic reachability checker

Library for Data Decision Diagrams and Set Decision Diagrams

A Python package for automata theory.

Symbolic verification of Bitcoin's output scripts

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

Symbolic differentation of algebraic expressions with Python and Tcl interfaces.

Get all symbolic link (file symlinks) using glob

Python symbolic canonicalizer and C code generator for embedding convex optimization problems.

This program demonstrates symbolic derivation from variety of mathematical functions.

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

Comprehensive univariate polynomial class. All arithmetic performed symbolically. Some advanced features include: Arithmetic of polynomial rings over a finite field, the Tonelli-Shanks algorithm, GCD, exponentiation by squaring, irreducibility checking, modular arithmetic (obviously) and polynomials from roots.

CTL symbolic model-checker based on libDDD and libITS

➗ A chmod calculator app for Android

Scientific, numeric and symbolic mathematical crate for computing with Rust.