11 results found Sort:

357
1.6k
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,208 commits to main branch, last one 18 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,501 commits to master branch, last one 4 months ago
Symbolic expressions, rewriting and simplification
Created 2020-02-09
1,396 commits to master branch, last one a day ago
11
387
other
9
A modern computer algebra system which aims to handle expressions with billions of terms.
Created 2023-01-11
381 commits to main branch, last one 4 days ago
Math.NET Symbolics
Created 2014-03-29
397 commits to master branch, last one 5 months 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
672 commits to master branch, last one 2 days ago
45
291
bsd-3-clause
24
Official repository of the FriCAS computer algebra system
Created 2014-05-07
3,094 commits to master branch, last one 5 days ago
37
215
gpl-3.0
21
A field-theory motivated approach to computer algebra.
Created 2015-11-03
2,961 commits to master branch, last one 11 days ago
7
91
bsd-2-clause
9
∫ Straightforward numerical integration of systems of ordinary differential equations
Created 2015-09-25
603 commits to master branch, last one about a month ago
Ridiculously fast symbolic expressions
Created 2022-10-16
2,165 commits to master branch, last one about a month ago