Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Symbolic Computation Open Source Projects

Open source projects categorized as Symbolic Computation
Categories > Symbolic Computation
Hedgehog Lab ⭐ 2,357
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.
most recent commit 3 months ago
Modelingtoolkit.jl ⭐ 1,292
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
most recent commit 3 months ago
Symforce ⭐ 1,282
Fast symbolic computation, code generation, and nonlinear optimization for robotics
dependent packages 1total releases 9most recent commit 3 months agopypi skymarshal} Downloads
Aesara ⭐ 1,122
Aesara is a Python library for defining, optimizing, and efficiently evaluating mathematical expressions involving multi-dimensional arrays.
dependent packages 16total releases 74most recent commit 4 months agopypi aesara} Downloads
Algebrite ⭐ 850
Computer Algebra System in Javascript (Typescript)
dependent packages 12total releases 37most recent commit 2 years agonpm algebrite} Downloads
Deeplearning.scala ⭐ 759
A simple library for creating complex neural networks
dependent packages 9total releases 15most recent commit 2 years ago
Symbolicregression.jl ⭐ 484
Distributed High-Performance Symbolic Regression in Julia
most recent commit 3 months ago
Metatheory.jl ⭐ 321
General purpose algebraic metaprogramming and symbolic computation library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
most recent commit 3 months ago
Mathnet Symbolics ⭐ 321
Math.NET Symbolics
dependent packages 11total releases 27most recent commit 4 months agonuget MathNet.Symbolics} Downloads
Expresso ⭐ 309
Clojure library for symbolic computation
total releases 6most recent commit 3 months ago
M2 ⭐ 303
The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
most recent commit 3 months ago
Compute Engine ⭐ 300
An engine for symbolic manipulation and numeric evaluation of math formulas expressed with MathJSON
dependent packages 16total releases 34most recent commit 3 months agonpm @cortex-js/compute-engine} Downloads
Fricas ⭐ 267
Official repository of the FriCAS computer algebra system
most recent commit 3 months ago
Symqemu ⭐ 267
SymQEMU: Compilation-based symbolic execution for binaries
most recent commit 5 months ago
Reduce.jl ⭐ 202
Symbolic parser generator for Julia language expressions using REDUCE algebra term rewriter
most recent commit 2 years ago
Scilean ⭐ 179
Scientific computing in Lean 4
most recent commit 3 months ago
Symbolism ⭐ 172
Computer Algebra and Symbolic Computation in C#
total releases 5most recent commit 4 years ago
Methodoflines.jl ⭐ 144
Automatic Finite Difference PDE solving with Julia SciML
most recent commit 3 months ago
Zipperposition ⭐ 118
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.
most recent commit 4 months ago
Kanren ⭐ 115
An extensible, lightweight relational/logic programming DSL written in pure Python
dependent packages 5total releases 9most recent commit a year agopypi miniKanren} Downloads
Yacas ⭐ 111
Computer calculations made easy
most recent commit 3 months ago
Pymbolic ⭐ 101
A simple package to do symbolic math (focus on code gen and DSLs)
dependent packages 2total releases 2most recent commit 5 months ago
Quantumlattices.jl ⭐ 94
Julia package for the construction of quantum lattice systems.
most recent commit 5 months ago
The 10 Most Depended On Symbolic Computation Open Source Projects
Compute Engine ⭐ 300
An engine for symbolic manipulation and numeric evaluation of math formulas expressed with MathJSON
dependent packages 16total releases 34latest release November 14, 2023most recent commit 3 months agonpm @cortex-js/compute-engine} Downloads
Algebrite ⭐ 850
Computer Algebra System in Javascript (Typescript)
dependent packages 12total releases 37latest release April 14, 2021most recent commit 2 years agonpm algebrite} Downloads
Mathnet Symbolics ⭐ 321
Math.NET Symbolics
dependent packages 11total releases 27latest release January 10, 2021most recent commit 4 months agonuget MathNet.Symbolics} Downloads
Deeplearning.scala ⭐ 759
A simple library for creating complex neural networks
dependent packages 9total releases 15latest release May 24, 2018most recent commit 2 years ago
Aeppl ⭐ 56
Tools for an Aesara-based PPL.
dependent packages 6total releases 47latest release June 28, 2023most recent commit 10 months agopypi aeppl} Downloads
Kanren ⭐ 115
An extensible, lightweight relational/logic programming DSL written in pure Python
dependent packages 5total releases 9latest release January 19, 2022most recent commit a year agopypi miniKanren} Downloads
Symengine.r ⭐ 24
A R interface to the symbolic manipulation library SymEngine.
dependent packages 5total releases 8latest release October 23, 2022most recent commit 9 months ago
Symbolica ⭐ 50
Symbolica's open-source symbolic execution engine.
dependent packages 3total releases 513latest release May 12, 2022most recent commit 2 years agonuget Symbolica.Abstraction} Downloads
Calculus ⭐ 41
High Dimensional Numerical and Symbolic Calculus in R
dependent packages 2total releases 11latest release March 09, 2023most recent commit a year ago
The 10 Latest Releases In Symbolic Computation Open Source Projects
Compute Engine ⭐ 300
An engine for symbolic manipulation and numeric evaluation of math formulas expressed with MathJSON
dependent packages 16total releases 34latest release November 14, 2023most recent commit 3 months agonpm @cortex-js/compute-engine} Downloads
Qiskit Symb ⭐ 19
Python package for symbolic quantum computation in Qiskit
total releases 5latest release November 07, 2023most recent commit 3 months ago
Expression ⭐ 6
A library to parse expressions, solve and simplify systems of linear equations, find eigenvalues and eigenvectors
dependent packages 2total releases 41latest release August 20, 2023most recent commit 8 months agonpm @yaffle/expression} Downloads
Aeppl ⭐ 56
Tools for an Aesara-based PPL.
dependent packages 6total releases 47latest release June 28, 2023most recent commit 10 months agopypi aeppl} Downloads
Calculus ⭐ 41
High Dimensional Numerical and Symbolic Calculus in R
dependent packages 2total releases 11latest release March 09, 2023most recent commit a year ago
Aehmc ⭐ 31
An HMC/NUTS implementation in Aesara
dependent packages 1total releases 11latest release January 03, 2023most recent commit 10 months agopypi aehmc} Downloads
Symforce ⭐ 1,282
Fast symbolic computation, code generation, and nonlinear optimization for robotics
dependent packages 1total releases 9latest release November 22, 2022most recent commit 3 months agopypi skymarshal} Downloads
Symengine.r ⭐ 24
A R interface to the symbolic manipulation library SymEngine.
dependent packages 5total releases 8latest release October 23, 2022most recent commit 9 months ago
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.