symbolic-manipulation | Topic | Ecosyste.ms: Repos

Topic: "symbolic-manipulation"

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.

Language: C++ - Size: 141 MB - Last synced at: about 20 hours ago - Pushed at: about 24 hours ago - Stars: 1,890 - Forks: 410

davidedc/Algebrite

Computer Algebra System in Javascript (Typescript)

Language: TypeScript - Size: 3.55 MB - Last synced at: 29 days ago - Pushed at: almost 2 years ago - Stars: 976 - Forks: 60

asc-community/AngouriMath

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

Language: C# - Size: 22.4 MB - Last synced at: 6 days ago - Pushed at: 11 months ago - Stars: 796 - Forks: 78

benruijl/symbolica

A modern computer algebra library for Python and Rust.

Language: Rust - Size: 3 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 605 - Forks: 27

JuliaSymbolics/SymbolicUtils.jl

Symbolic expressions, rewriting and simplification

Language: Julia - Size: 6.56 MB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 546 - Forks: 121

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.

Language: Julia - Size: 3.34 MB - Last synced at: 10 days ago - Pushed at: 28 days ago - Stars: 372 - Forks: 45

mathnet/mathnet-symbolics

Math.NET Symbolics

Language: F# - Size: 80.3 MB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 356 - Forks: 68

fricas/fricas

Official repository of the FriCAS computer algebra system

Size: 23.2 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 332 - Forks: 47

kpeeters/cadabra2

A field-theory motivated approach to computer algebra.

Language: C++ - Size: 158 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 241 - Forks: 41

SymbolicML/DynamicExpressions.jl

Ridiculously fast symbolic expressions

Language: Julia - Size: 3.75 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 117 - Forks: 15

bjodah/pyodesys

∫ Straightforward numerical integration of systems of ordinary differential equations

Language: Python - Size: 10.4 MB - Last synced at: 10 days ago - Pushed at: about 1 month ago - Stars: 94 - Forks: 7

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

Language: Shell - Size: 26.4 KB - Last synced at: about 1 month ago - Pushed at: about 6 years ago - Stars: 77 - Forks: 32

dfdx/Espresso.jl

Expression transformation package

Language: Julia - Size: 791 KB - Last synced at: 24 days ago - Pushed at: 8 months ago - Stars: 58 - Forks: 8

bjodah/pyneqsys

Solve symbolically defined systems of non-linear equations numerically.

Language: Python - Size: 268 KB - Last synced at: 10 days ago - Pushed at: 4 months ago - Stars: 51 - Forks: 6

dalum/Sylvia.jl

A simple symbolic library with a pretty name 🧚🏻

Language: Julia - Size: 191 KB - Last synced at: 5 months ago - Pushed at: over 6 years ago - Stars: 47 - Forks: 0

rjrosati/SymbolicTensors.jl

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

Language: Julia - Size: 49.8 KB - Last synced at: 9 days ago - Pushed at: about 1 year ago - Stars: 33 - Forks: 5

leftaroundabout/Symbolic-math-HaTeX

Convenient Haskell syntax for writing in LaTeX math expressions

Language: Haskell - Size: 1.6 MB - Last synced at: 3 days ago - Pushed at: about 1 year ago - Stars: 28 - Forks: 3

pynac/pynac 📦

Pynac -- symbolic computation with Python objects, Sage Math support library --- Website:

Language: C++ - Size: 7.04 MB - Last synced at: 10 months ago - Pushed at: over 3 years ago - Stars: 26 - Forks: 26

gbl08ma/eigenmath

Port of the Eigenmath math engine to the Casio Prizm (fx-CG 10 and 20)

Language: C++ - Size: 779 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 25 - Forks: 4

benruijl/reform

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

Language: Rust - Size: 691 KB - Last synced at: 23 days ago - Pushed at: over 2 years ago - Stars: 24 - Forks: 3

tschijnmo/drudge

CAS based on sympy focusing on tensor and noncommutative algebras

Language: Python - Size: 4.29 MB - Last synced at: 6 months ago - Pushed at: almost 2 years ago - Stars: 21 - Forks: 10

leftaroundabout/dumb-cas

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

Language: Haskell - Size: 123 KB - Last synced at: 3 days ago - Pushed at: about 1 year ago - Stars: 17 - Forks: 1

iitis/IntU

Mathematica package for calculating polynomial integrals over the unitary group

Language: Mathematica - Size: 190 KB - Last synced at: about 2 months ago - Pushed at: about 5 years ago - Stars: 12 - Forks: 5

bjodah/sym

Unified interface to symbolic manipulation libraries in Python

Language: Python - Size: 6.34 MB - Last synced at: 9 days ago - Pushed at: 3 months ago - Stars: 9 - Forks: 0

thiagopbueno/pyddlib

pyddlib is a Python3 library for manipulating decision diagrams.

Language: Python - Size: 266 KB - Last synced at: 1 day ago - Pushed at: about 8 years ago - Stars: 9 - Forks: 2

isaacphysics/equality-checker

Lightweight server for testing equivalence of two symbolic expressions.

Language: Python - Size: 273 KB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 7 - Forks: 2

pyccel/GeLaTo

Generalized Locally Toeplitz

Language: Jupyter Notebook - Size: 4.1 MB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 7 - Forks: 3

baharev/safe-eliminations 📦

Identifying numerically safe eliminations automatically

Language: Python - Size: 7.81 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 2

qedb/eqlib 📦

Previous iteration of QEDb [ARCHIVED]

Language: Dart - Size: 296 KB - Last synced at: over 1 year ago - Pushed at: almost 8 years ago - Stars: 4 - Forks: 0