12 results found Sort:

387
1.7k
lgpl-3.0
56
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,448 commits to main branch, last one 6 days 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 5 months ago
Symbolic expressions, rewriting and simplification
Created 2020-02-09
1,559 commits to master branch, last one 2 days 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
676 commits to master branch, last one 2 months ago
Math.NET Symbolics
Created 2014-03-29
397 commits to master branch, last one 11 months ago
46
311
bsd-3-clause
25
Official repository of the FriCAS computer algebra system
Created 2014-05-07
3,160 commits to master branch, last one 7 days ago
37
230
gpl-3.0
21
A field-theory motivated approach to computer algebra.
Created 2015-11-03
3,421 commits to master branch, last one 27 days ago
Ridiculously fast symbolic expressions
Created 2022-10-16
2,635 commits to master branch, last one 13 days ago
7
93
bsd-2-clause
9
∫ Straightforward numerical integration of systems of ordinary differential equations
Created 2015-09-25
608 commits to master branch, last one 4 months ago
8
58
other
10
Expression transformation package
Created 2016-07-27
247 commits to master branch, last one 2 months ago