Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: symbolic-manipulation

Repositories

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.21 MB - Last synced: about 13 hours ago - Pushed: about 19 hours ago - Stars: 335 - Forks: 43

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: 134 MB - Last synced: about 23 hours ago - Pushed: 1 day ago - Stars: 1,566 - Forks: 355

mathnet/mathnet-symbolics

Math.NET Symbolics

Language: F# - Size: 80.3 MB - Last synced: 4 days ago - Pushed: 4 months ago - Stars: 338 - Forks: 65

SymbolicML/DynamicExpressions.jl

Ridiculously fast symbolic expressions

Language: Julia - Size: 2.48 MB - Last synced: 6 days ago - Pushed: 6 days ago - Stars: 84 - Forks: 9

JuliaSymbolics/SymbolicUtils.jl

Symbolic expressions, rewriting and simplification

Language: Julia - Size: 4.37 MB - Last synced: 16 days ago - Pushed: 17 days ago - Stars: 502 - Forks: 95

davidedc/Algebrite

Computer Algebra System in Javascript (Typescript)

Language: TypeScript - Size: 3.55 MB - Last synced: 13 days ago - Pushed: 11 months ago - Stars: 943 - Forks: 58

christianparpart/Fetisch

F# Mathematics Library

Language: F# - Size: 102 KB - Last synced: 16 days ago - Pushed: almost 5 years ago - Stars: 1 - Forks: 0

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: 11 days ago - Pushed: 4 months ago - Stars: 758 - Forks: 69

bjodah/pyneqsys

Solve symbolically defined systems of non-linear equations numerically.

Language: Python - Size: 260 KB - Last synced: 21 days ago - Pushed: 21 days ago - Stars: 43 - Forks: 4

bjodah/sym

Unified interface to symbolic manipulation libraries in Python

Language: Python - Size: 6.29 MB - Last synced: 22 days ago - Pushed: 22 days ago - Stars: 8 - Forks: 0

bjodah/pyodesys

∫ Straightforward numerical integration of systems of ordinary differential equations

Language: Python - Size: 10.3 MB - Last synced: 23 days ago - Pushed: 23 days ago - Stars: 91 - Forks: 8

kpeeters/cadabra2

A field-theory motivated approach to computer algebra.

Language: C++ - Size: 149 MB - Last synced: 6 days ago - Pushed: 6 days ago - Stars: 214 - Forks: 37

isaacphysics/equality-checker

Lightweight server for testing equivalence of two symbolic expressions.

Language: Python - Size: 311 KB - Last synced: 24 days ago - Pushed: 24 days ago - Stars: 8 - Forks: 2

bsdz/symbolize

Mathematical Symbol Engine

Language: Python - Size: 441 KB - Last synced: 26 days ago - Pushed: 10 months ago - Stars: 0 - Forks: 0

fricas/fricas

Official repository of the FriCAS computer algebra system

Size: 21.3 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 285 - Forks: 45

benruijl/symbolica

A modern computer algebra system which aims to handle expressions with billions of terms.

Language: Rust - Size: 2.08 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 95 - Forks: 9

iitis/IntU

Mathematica package for calculating polynomial integrals over the unitary group

Language: Mathematica - Size: 190 KB - Last synced: about 2 months ago - Pushed: about 4 years ago - Stars: 11 - Forks: 3

leftaroundabout/dumb-cas

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

Language: Haskell - Size: 123 KB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 16 - Forks: 1

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: about 1 month ago - Pushed: about 1 month ago - Stars: 32 - Forks: 4

tschijnmo/drudge

CAS based on sympy focusing on tensor and noncommutative algebras

Language: Python - Size: 4.29 MB - Last synced: about 2 months ago - Pushed: 12 months ago - Stars: 19 - Forks: 9

thiagopbueno/pyddlib

pyddlib is a Python3 library for manipulating decision diagrams.

Language: Python - Size: 266 KB - Last synced: 15 days ago - Pushed: about 7 years ago - Stars: 6 - Forks: 2

dfdx/Espresso.jl

Expression transformation package

Language: Julia - Size: 778 KB - Last synced: 8 days ago - Pushed: over 3 years ago - Stars: 55 - Forks: 8

benruijl/reform

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

Language: Rust - Size: 691 KB - Last synced: 10 months ago - Pushed: over 1 year ago - Stars: 21 - Forks: 3

leftaroundabout/Symbolic-math-HaTeX

Convenient Haskell syntax for writing in LaTeX math expressions

Language: Haskell - Size: 1.6 MB - Last synced: about 10 hours ago - Pushed: 2 months ago - Stars: 27 - Forks: 3

dalum/Sylvia.jl

A simple symbolic library with a pretty name 🧚🏻

Language: Julia - Size: 191 KB - Last synced: 2 months ago - Pushed: over 5 years ago - Stars: 46 - Forks: 0

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: about 1 year ago - Pushed: about 5 years ago - Stars: 68 - Forks: 32