symbolic-computation
Here are 240 public repositories matching this topic...
Language:All
Sort:Most stars
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.
- Updated
May 2, 2024 - TypeScript
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
- Updated
Dec 17, 2025 - Julia
Fast symbolic computation, code generation, and nonlinear optimization for robotics
- Updated
Dec 10, 2025 - C++
Aesara is a Python library for defining, optimizing, and efficiently evaluating mathematical expressions involving multi-dimensional arrays.
- Updated
Nov 15, 2024 - Python
Computer Algebra System in Javascript (Typescript)
- Updated
Jun 23, 2023 - TypeScript
A simple library for creating complex neural networks
- Updated
Jul 30, 2024 - Scala
Distributed High-Performance Symbolic Regression in Julia
- Updated
Dec 15, 2025 - Julia
A modern computer algebra library for Python and Rust.
- Updated
Dec 17, 2025 - Rust
Scientific computing in Lean 4
- Updated
Jun 9, 2025 - Lean
An engine for symbolic manipulation and numeric evaluation of math formulas expressed with MathJSON
- Updated
Jul 30, 2025 - TypeScript
The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
- Updated
Dec 15, 2025 - Macaulay2
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.
- Updated
Sep 9, 2025 - Julia
Official repository of the FriCAS computer algebra system
- Updated
Nov 10, 2025
Machine Learning with Symbolic Tensors
- Updated
Nov 20, 2025 - Python
Symbolic parser for Julia language term rewriting using REDUCE algebra
- Updated
Nov 30, 2025 - Julia
An extensible, lightweight relational/logic programming DSL written in pure Python
- Updated
Aug 22, 2025 - Python
Computer Algebra and Symbolic Computation in C#
- Updated
Oct 23, 2019 - C#
Automatic Finite Difference PDE solving with Julia SciML
- Updated
Dec 14, 2025 - Julia
Library for Polynomial System Solving through Algebraic Methods
- Updated
Dec 15, 2025 - C
An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.
- Updated
Oct 14, 2024 - OCaml
Improve this page
Add a description, image, and links to thesymbolic-computation topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with thesymbolic-computation topic, visit your repo's landing page and select "manage topics."