Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality. Learn more →
Top 16 symbolic-computation Open-Source Projects
-
ModelingToolkit.jl
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
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
aesara
Aesara is a Python library for defining, optimizing, and efficiently evaluating mathematical expressions involving multi-dimensional arrays.
-
Metatheory.jl
General purpose algebraic metaprogramming and symbolic computation library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
HashedExpression
Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
-
reduce-algebra
reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/code/. Please visit the REDUCE Homepage, https://reduce-algebra.sourceforge.io/, to report any bugs or request assistance.
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
You might find this library interesting: https://github.com/symforce-org/symforce
Project mention: Symbolicregression.jl – High-Performance Symbolic Regression in Julia and Python | news.ycombinator.com | 2023-07-15
But it's integration functionalities are less advanced and comprehensive than those of Fricas. Interestingly, the latter is, like Maxima, implemented using Lisp and stems from a ancient software lineage. Both systems are free and open-source.
Fricas home page: http://fricas.github.io
Some independent integration benchmarks, comparing multiple computer algebra systems: https://www.12000.org/my_notes/CAS_integration_tests/index.h...
Project mention: Kanren: An extensible, lightweight relational/logic programming DSL in Python | news.ycombinator.com | 2024-02-03
Project mention: Check out qiskit-symb: a new Python package for symbolic quantum computation in Qiskit! | /r/u_No_Membership8823 | 2023-06-21
symbolic-computation related posts
-
Kanren: An extensible, lightweight relational/logic programming DSL in Python
-
FriCAS – an advanced computer algebra system
-
Maxima: A computer algebra system written in Common Lisp
-
Do Simpler Machine Learning Models Exist and How Can We Find Them?
-
A linear algebra compiler in common lisp
-
Strategies for doing symbolic integration algorithmically
-
[ANN] E-graphs and equality saturation: hegg 0.1
-
A note from our sponsor - InfluxDB
www.influxdata.com | 12 May 2024
Index
What are some of the best open-source symbolic-computation projects? This list will help you:
Project | Stars | |
---|---|---|
1 | symforce | 1,349 |
2 | ModelingToolkit.jl | 1,363 |
3 | aesara | 1,163 |
4 | DeepLearning.scala | 764 |
5 | SymbolicRegression.jl | 539 |
6 | Metatheory.jl | 334 |
7 | fricas | 290 |
8 | kanren | 157 |
9 | MethodOfLines.jl | 149 |
10 | mathiu.cpp | 75 |
11 | Symbolica | 60 |
12 | zhetapi | 47 |
13 | HashedExpression | 42 |
14 | reduce-algebra | 30 |
15 | qiskit-symb | 22 |
16 | polycalc | 12 |
Sponsored