Top 18 symbolic-computation open source projects

Run, compile and execute JavaScript for Scientific Computing and Data Visualization TOTALLY TOTALLY TOTALLY in your BROWSER! An open source scientific computing environment for JavaScript TOTALLY in your browser, matrix operations with GPU acceleration, TeX support, data visualization and symbolic computation.

Various methods for generating synthetic data for data science and ML

mathiu : a simple computer algebra system in C++.

The open-source computational framework for the Swift language

An interface between ControlSystems.jl and SymPy.jl

Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns and expressions embedded in patterns.

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

Symbolic computation using SymPy and various applications

Curso de Ciência da Computação

Manipulate tensors symbolically in Julia! Currently needs a SymPy dependency, but work is ongoing to change the backend to SymbolicUtils.jl

General purpose algebraic metaprogramming and symbolic computation library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.

Tools for an Aesara-based PPL.

Scientific computing in Lean 4

An extensible, lightweight relational/logic programming DSL written in pure Python

Julia package for the construction of quantum lattice systems.

Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.

Advanced Combinatorics and Algebraic Number Theory Symbolic Computation library for JavaScript, Python

A powerful language for symbolic computation written in Swift.