An open source scientific computing environment for JavaScript TOTALLY in your browser, matrix operations with GPU acceleration, TeX support, data visualization and symbolic computation.

Computer Algebra System in Javascript (Coffeescript)

A simple library for creating complex neural networks

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

Computer Algebra and Symbolic Computation in C#

The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.

Symbolic parser generator for Julia language expressions using REDUCE algebra term rewriter

Deep.Net machine learning framework for F#

Computer calculations made easy

The Hy Transformer

A simple package to do symbolic math (focus on code gen and DSLs)

Automatic equation building and curve fitting. Runs on Tensorflow. Built for academia and research.

An efficient symbolic term rewriting engine

Deep-Learning framework from scratch

An automatic theorem prover in OCaml for typed higher-order logic with equality, datatypes and arithmetic, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.

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

Julia package for the construction of quantum lattice systems.

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

Meta mathematics. Symbolic functions and derivatives.

High Dimensional Numerical and Symbolic Calculus in R

Various methods for generating synthetic data for data science and ML

Pynac -- symbolic computation with Python objects, Sage Math support library --- Website:

Codebase for "Demystifying Black-box Models with Symbolic Metamodels", NeurIPS 2019.

A powerful language for symbolic computation written in Swift.

Symbolic computation using SymPy and various applications

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

Research library for compile time optimization

Abacus: Advanced combinatorics and algebraic number theory symbolic computation library for Node.js / Browser / XPCOM Javascript, Python, Java

My A-Level computer science project, an computer algebra system built with Dart.

GMac, short for “Geometric Macro“, is a sophisticated .NET based code generation software system that allows implementing geometric models and algorithms based on Geometric Algebra (GA) in arbitrary target programming languages. You can download the full GMac source code at: https://github.com/ga-explorer/GMac and you can read the full GMac user guides at: https://gmac-guides.netlify.com