symbolic-computation
Here are 215 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
Jul 11, 2025 - Julia
Fast symbolic computation, code generation, and nonlinear optimization for robotics
- Updated
Jul 7, 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
Jul 12, 2025 - Julia
A modern computer algebra library for Python and Rust.
- Updated
Jul 10, 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
Apr 19, 2025 - TypeScript
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
Apr 15, 2025 - Julia
The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
- Updated
Jul 12, 2025 - Macaulay2
Official repository of the FriCAS computer algebra system
- Updated
Jul 7, 2025
Machine Learning with Symbolic Tensors
- Updated
May 26, 2025 - Python
Symbolic parser for Julia language term rewriting using REDUCE algebra
- Updated
Oct 10, 2024 - Julia
Computer Algebra and Symbolic Computation in C#
- Updated
Oct 23, 2019 - C#
An extensible, lightweight relational/logic programming DSL written in pure Python
- Updated
Jun 24, 2025 - Python
Automatic Finite Difference PDE solving with Julia SciML
- Updated
Jun 10, 2025 - Julia
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
Library for Polynomial System Solving through Algebraic Methods
- Updated
Jul 10, 2025 - C
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."