Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with symbolic-manipulation

A curated list of projects in awesome lists tagged with symbolic-manipulation .

https://github.com/casadi/casadi

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-code generation and interfaces state-of-the-art codes such as SUNDIALS, IPOPT etc. It can be used from C++, Python or Matlab/Octave.

academic-project algorithmic-differentation c-plus-plus code-generation derivatives library mathematics matlab modular nonlinear nonlinear-programming numerical-calculations octave optimal-control optimization parameter-estimation python scientific-computing symbolic-manipulation

Last synced: 17 Dec 2024

https://github.com/asc-community/angourimath

New open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.

algebra arbitrary-precision calculus computer-algebra csharp differentiation equations fsharp inequality integration jupyter latex math nuget parse parsing solver symbolic-manipulation symbolic-math

Last synced: 20 Dec 2024

https://github.com/asc-community/AngouriMath

New open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.

algebra arbitrary-precision calculus computer-algebra csharp differentiation equations fsharp inequality integration jupyter latex math nuget parse parsing solver symbolic-manipulation symbolic-math

Last synced: 26 Oct 2024

https://github.com/JuliaSymbolics/SymbolicUtils.jl

Symbolic expressions, rewriting and simplification

julia pattern-matching symbolic-manipulation symbolic-math

Last synced: 30 Oct 2024

https://github.com/juliasymbolics/symbolicutils.jl

Symbolic expressions, rewriting and simplification

julia pattern-matching symbolic-manipulation symbolic-math

Last synced: 19 Dec 2024

https://github.com/juliasymbolics/metatheory.jl

Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.

compiler-construction compiler-optimization egraphs equality-saturation julia optimization programming-language symbolic symbolic-computation symbolic-manipulation term-rewriting

Last synced: 21 Dec 2024

https://github.com/JuliaSymbolics/Metatheory.jl

Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.

compiler-construction compiler-optimization egraphs equality-saturation julia optimization programming-language symbolic symbolic-computation symbolic-manipulation term-rewriting

Last synced: 29 Nov 2024

https://github.com/bjodah/pyodesys

∫ Straightforward numerical integration of systems of ordinary differential equations

code-generation initial-value-problem numerical-codes ordinary-differential-equations symbolic-manipulation sympy

Last synced: 17 Dec 2024

https://github.com/screetsec/imr0t

imR0T: Send a quick message with simple text encryption to your whatsapp contact and protect your text by encrypting and decrypting, basically in ROT13 with new multi encryption based algorithm on ASCII and Symbols Substitution

bash-script cryptography encryption-algorithms encryption-decryption encryption-tool hacking-tool kali-linux rot13 symbolic-manipulation whatsapp-api

Last synced: 07 Nov 2024

https://github.com/bjodah/pyneqsys

Solve symbolically defined systems of non-linear equations numerically.

least-squares nonlinear-equations root-finding symbolic-manipulation sympy

Last synced: 26 Oct 2024

https://github.com/dalum/Sylvia.jl

A simple symbolic library with a pretty name 🧚🏻

sylvia symbolic-expressions symbolic-manipulation

Last synced: 29 Nov 2024

https://github.com/rjrosati/SymbolicTensors.jl

Manipulate tensors symbolically in Julia! Currently needs a SymPy dependency, but work is ongoing to change the backend to SymbolicUtils.jl

julia physics symbolic-computation symbolic-manipulation symbolic-math tensor-algebra

Last synced: 13 Nov 2024

https://github.com/leftaroundabout/symbolic-math-hatex

Convenient Haskell syntax for writing in LaTeX math expressions

haskell latex symbolic-manipulation

Last synced: 12 Nov 2024

https://github.com/benruijl/reform

A symbolic manipulation toolkit which aims to handle expressions with billions of terms

computer-algebra mathematics physics symbolic-manipulation

Last synced: 29 Nov 2024

https://github.com/leftaroundabout/dumb-cas

A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.

computer-algebra-system haskell symbolic-manipulation template-haskell

Last synced: 12 Nov 2024

https://github.com/iitis/intu

Mathematica package for calculating polynomial integrals over the unitary group

mathematical-physics mathematics symbolic-manipulation unitary-group

Last synced: 16 Nov 2024

https://github.com/bjodah/sym

Unified interface to symbolic manipulation libraries in Python

symbolic-manipulation wrapper

Last synced: 27 Oct 2024

https://github.com/reity/symbolism

Extensible combinator library for building symbolic Python expressions that are compatible with serialization and can be evaluated at a later time.

abstract-syntax-tree data-structures python-library symbolic-expressions symbolic-manipulation

Last synced: 23 Nov 2024

https://github.com/lorddarkula/polypy

Symbolic manipulation of mathematical expressions

mathematical-expressions mathematical-functions python symbolic-manipulation

Last synced: 03 Dec 2024

https://github.com/leftaroundabout/decimal-literals

Heuristics for interpreting Haskell float literals with the correct precision

haskell scientific-notation symbolic-manipulation

Last synced: 12 Nov 2024