13 results found Sort:

398
1.8k
lgpl-3.0
55
CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained C-c...
Created 2012-10-31
16,856 commits to main branch, last one 21 hours ago
Computer Algebra System in Javascript (Typescript)
Created 2016-03-23
943 commits to master branch, last one 2 years ago
New open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.
Created 2019-11-27
1,502 commits to master branch, last one 8 months ago
Symbolic expressions, rewriting and simplification
Created 2020-02-09
1,638 commits to master branch, last one a day ago
Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, ...
Created 2021-01-12
679 commits to master branch, last one 2 days ago
Math.NET Symbolics
Created 2014-03-29
397 commits to master branch, last one about a year ago
46
320
bsd-3-clause
25
Official repository of the FriCAS computer algebra system
Created 2014-05-07
3,212 commits to master branch, last one 6 days ago
40
233
gpl-3.0
21
A field-theory motivated approach to computer algebra.
Created 2015-11-03
3,598 commits to master branch, last one about a month ago
Ridiculously fast symbolic expressions
Created 2022-10-16
2,691 commits to master branch, last one 12 days ago
7
94
bsd-2-clause
9
∫ Straightforward numerical integration of systems of ordinary differential equations
Created 2015-09-25
608 commits to master branch, last one 7 months ago
8
58
other
10
Expression transformation package
Created 2016-07-27
247 commits to master branch, last one 5 months ago
6
50
bsd-2-clause
5
Solve symbolically defined systems of non-linear equations numerically.
Created 2015-10-01
201 commits to master branch, last one 9 months ago