sympy/sympy

A computer algebra system written in pure Python

Language: Python - Size: 181 MB - Last synced at: about 11 hours ago - Pushed at: 1 day ago - Stars: 13,616 - Forks: 4,676

Hedgehog-Computing/hedgehog-lab

Run, compile and execute JavaScript for Scientific Computing and Data Visualization TOTALLY TOTALLY TOTALLY in your BROWSER! An open source scientific computing environment for JavaScript TOTALLY in your browser, matrix operations with GPU acceleration, TeX support, data visualization and symbolic computation.

Language: TypeScript - Size: 28.3 MB - Last synced at: 29 days ago - Pushed at: about 1 year ago - Stars: 2,369 - Forks: 140

mathics/Mathics

This repository is for archival. Please see https://github.com/Mathics3/mathics-core

Language: Python - Size: 20.4 MB - Last synced at: 18 days ago - Pushed at: almost 3 years ago - Stars: 2,073 - Forks: 205

sagemath/sage-archive-2023-02-01 📦

This repository used to be the user-facing mirror of the Sage source tree. As Sage development migrated on 2023-02-01 from https://trac.sagemath.org/ to our new repository on GitHub, https://github.com/sagemath/sage, we have renamed and archived this repository.

Language: Python - Size: 310 MB - Last synced at: 7 days ago - Pushed at: over 2 years ago - Stars: 2,009 - Forks: 407

SciML/ModelingToolkit.jl

An acausal modeling framework for automatically parallelized scientific machine learning (SciML) in Julia. A computer algebra system for integrated symbolics for physics-informed machine learning and automated transformations of differential equations

Language: Julia - Size: 529 MB - Last synced at: about 5 hours ago - Pushed at: about 6 hours ago - Stars: 1,510 - Forks: 220

symengine/symengine

SymEngine is a fast symbolic manipulation library, written in C++

Language: C++ - Size: 456 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1,223 - Forks: 291

davidedc/Algebrite

Computer Algebra System in Javascript (Typescript)

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

gap-system/gap

Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra

Language: GAP - Size: 417 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 862 - Forks: 171

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

breandan/kotlingrad

🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types

Language: Kotlin - Size: 288 MB - Last synced at: 28 days ago - Pushed at: 5 months ago - Stars: 534 - Forks: 21

flintlib/flint

FLINT (Fast Library for Number Theory)

Language: C - Size: 75.6 MB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 493 - Forks: 259

chakravala/Grassmann.jl

⟨Grassmann-Clifford-Hodge⟩ multilinear differential geometric algebra

Language: Julia - Size: 2.71 MB - Last synced at: 4 days ago - Pushed at: 18 days ago - Stars: 485 - Forks: 39

mentat-collective/emmy

The Emmy Computer Algebra System.

Language: Clojure - Size: 10.7 MB - Last synced at: about 1 month ago - Pushed at: 7 months ago - Stars: 422 - Forks: 25

oscar-system/Oscar.jl

A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.

Language: Julia - Size: 643 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 419 - Forks: 140

axkr/symja_android_library

:coffee: Symja - computer algebra language & symbolic math library. A collection of popular algorithms implemented in pure Java.

Language: Java - Size: 325 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 407 - Forks: 92

corywalker/expreduce

An experimental computer algebra system written in Go

Language: Mathematica - Size: 27 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 389 - Forks: 27

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

bluescarni/mppp

Multiprecision for modern C++

Language: C++ - Size: 47.4 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 298 - Forks: 25

thofma/Hecke.jl

Computational algebraic number theory

Language: Julia - Size: 102 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 262 - Forks: 69

chakravala/Reduce.jl

Symbolic parser for Julia language term rewriting using REDUCE algebra

Language: Julia - Size: 1.84 MB - Last synced at: 3 days ago - Pushed at: 7 months ago - Stars: 246 - Forks: 16

kpeeters/cadabra2

A field-theory motivated approach to computer algebra.

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

dharmatech/Symbolism

Computer Algebra and Symbolic Computation in C#

Language: C# - Size: 699 KB - Last synced at: 4 days ago - Pushed at: over 5 years ago - Stars: 221 - Forks: 31

numbas/Numbas

A completely browser-based e-assessment/e-learning system, with an emphasis on mathematics

Language: JavaScript - Size: 38.7 MB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 209 - Forks: 122

Nemocas/Nemo.jl

Julia bindings for the FLINT number theory C library

Language: Julia - Size: 58.6 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 202 - Forks: 64

symengine/SymEngine.jl

Julia wrappers of SymEngine

Language: Julia - Size: 552 KB - Last synced at: 11 months ago - Pushed at: 12 months ago - Stars: 191 - Forks: 43

Nemocas/AbstractAlgebra.jl

Generic abstract algebra functionality in pure Julia (no C dependencies)

Language: Julia - Size: 143 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 178 - Forks: 67

symengine/symengine.py

Python wrappers for SymEngine

Language: Cython - Size: 4.26 MB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 176 - Forks: 67

gnu-octave/symbolic

A Symbolic Package for Octave using SymPy

Language: MATLAB - Size: 4.73 MB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 164 - Forks: 37

spacetimeengineer/spacetimeengine

A Python utility for analyzing a given solution to the Einstein's field equations. Built on Sympy.

Language: Python - Size: 428 KB - Last synced at: 25 days ago - Pushed at: 26 days ago - Stars: 151 - Forks: 17

algebraic-solving/msolve

Library for Polynomial System Solving through Algebraic Methods

Language: C - Size: 3.07 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 128 - Forks: 26

inducer/pymbolic

A simple package to do symbolic math (focus on code gen and DSLs)

Language: Python - Size: 1.15 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 114 - Forks: 25

bluescarni/piranha

The Piranha computer algebra system.

Language: C++ - Size: 119 MB - Last synced at: 6 days ago - Pushed at: almost 3 years ago - Stars: 102 - Forks: 25

mentat-collective/road-to-reality

The Road to Reality essay and newsletter source. A journey through computational physics, from eval/apply to the Einstein field equations.

Language: Clojure - Size: 18.2 MB - Last synced at: 28 days ago - Pushed at: over 1 year ago - Stars: 94 - Forks: 11

xAct-contrib/examples

Example xAct notebooks with common usage patterns

Language: Mathematica - Size: 1.47 MB - Last synced at: 10 months ago - Pushed at: almost 4 years ago - Stars: 78 - Forks: 42

diofant/diofant

A Python CAS library

Language: Python - Size: 86.9 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 73 - Forks: 18

stefnotch/quantum-sheet

QuantumSheet - A user friendly mathematics worksheet and solver

Language: TypeScript - Size: 23.4 MB - Last synced at: 27 days ago - Pushed at: almost 3 years ago - Stars: 55 - Forks: 5

BartJongejan/Bracmat

Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns and expressions embedded in patterns.

Language: C - Size: 23.9 MB - Last synced at: 3 days ago - Pushed at: about 1 month ago - Stars: 47 - Forks: 5

libsemigroups/libsemigroups

C++ library for semigroups and monoids

Language: C++ - Size: 39.6 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 46 - Forks: 30

QuantumSavory/QuantumSymbolics.jl

Computer algebra tools for symbolic manipulations in quantum mechanics and quantum information

Language: Julia - Size: 1.23 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 35 - Forks: 12

brandonwillard/kanren-old Fork of logpy/logpy

Logic Programming in Python

Language: Python - Size: 633 KB - Last synced at: 10 months ago - Pushed at: over 3 years ago - Stars: 30 - Forks: 1

p-e-w/sequencer

Purely algorithmic number sequence identification

Language: Scala - Size: 195 KB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 29 - Forks: 4

bluescarni/obake

A C++20 library for the symbolic manipulation of sparse polynomials & co.

Language: C++ - Size: 10.2 MB - Last synced at: about 1 month ago - Pushed at: 7 months ago - Stars: 28 - Forks: 9

symengine/symengine.rb

Ruby wrappers for SymEngine

Language: C - Size: 274 KB - Last synced at: 29 days ago - Pushed at: about 6 years ago - Stars: 28 - Forks: 15

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

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

mwageringel/fgb_sage

A Sage interface for FGb (Gröbner basis computations)

Language: Python - Size: 38.1 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 23 - Forks: 0

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

tom-pytel/sympad

Graphical symbolic math calculator / scratchpad using SymPy

Language: Python - Size: 7.76 MB - Last synced at: 17 days ago - Pushed at: over 4 years ago - Stars: 20 - Forks: 1

Metaxal/rascas

Computer Algebra System for Racket

Language: Racket - Size: 166 KB - Last synced at: 6 days ago - Pushed at: about 2 years ago - Stars: 19 - Forks: 1

mathSlib-dev/mathSlib

A C++ computer algebra (symbolic computation) library.

Language: C++ - Size: 544 KB - Last synced at: 6 months ago - Pushed at: 9 months ago - Stars: 18 - Forks: 1

junjihashimoto/th-cas

Compile time CAS(Computer Algebra System) for Haskell

Language: Haskell - Size: 170 KB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 17 - Forks: 1

chenmingxiang110/J4darrays

A java package for nd-array calculations

Language: Java - Size: 199 KB - Last synced at: 10 months ago - Pushed at: over 4 years ago - Stars: 16 - Forks: 4

MixedMatched/juniper

A toy formally-specified Computer Algebra library written in Rust and formalized in Lean 4

Language: Rust - Size: 110 KB - Last synced at: 4 days ago - Pushed at: 4 months ago - Stars: 15 - Forks: 1

DaveBarton/calculi

Fast parallel calculations in pure mathematics, e.g. Gröbner Bases

Language: Haskell - Size: 529 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 15 - Forks: 0

len/Arrows

A computer algebra system in Smalltalk

Language: Smalltalk - Size: 25.9 MB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 11 - Forks: 2

flideros/fSharp-Symbolic-Math-Lab

Personal coding lab for studying computer mathematics in f#

Language: F# - Size: 2.86 MB - Last synced at: 10 months ago - Pushed at: about 2 years ago - Stars: 11 - Forks: 0

egri-nagy/kigen

Computational Semigroup Theory Software System written in Clojure

Language: Clojure - Size: 744 KB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 10 - Forks: 0

chakravala/Ganja.jl

Interface for the ganja.js library in Julia

Language: JavaScript - Size: 24.4 KB - Last synced at: about 10 hours ago - Pushed at: over 2 years ago - Stars: 10 - Forks: 2

dylanpeifer/deepgroebner

Applications of reinforcement learning to Groebner basis computation.

Language: Python - Size: 468 MB - Last synced at: 10 months ago - Pushed at: almost 4 years ago - Stars: 10 - Forks: 4

jmbr/cl-buchberger 📦

Buchberger's algorithm in Common Lisp. Moved to https://git.sr.ht/~jmbr/cl-buchberger

Language: Common Lisp - Size: 24.4 KB - Last synced at: 10 months ago - Pushed at: over 4 years ago - Stars: 10 - Forks: 1

chakravala/FieldAlgebra.jl

Field-algebra based on Group / Ring symbolic vector module extension

Language: Julia - Size: 40 KB - Last synced at: about 10 hours ago - Pushed at: about 1 month ago - Stars: 9 - Forks: 0

axkr/symja-example

An example application to make Symja work on Android.

Language: Java - Size: 5.09 MB - Last synced at: 30 days ago - Pushed at: 7 months ago - Stars: 9 - Forks: 3

marohnicluka/giac

contributions to Giac computer algebra system

Language: C++ - Size: 135 MB - Last synced at: 10 months ago - Pushed at: about 2 years ago - Stars: 9 - Forks: 2

blankBuffer/BitLogic

simple java computer algebra system

Language: Java - Size: 37.3 MB - Last synced at: 10 months ago - Pushed at: almost 2 years ago - Stars: 8 - Forks: 2

ga-explorer/GMac 📦

GMac, short for “Geometric Macro“, is a sophisticated .NET based code generation software system that allows implementing geometric models and algorithms based on Geometric Algebra (GA) in arbitrary target programming languages. You can download the full GMac source code at: https://github.com/ga-explorer/GMac and you can read the full GMac user guides at: https://gmac-guides.netlify.com

Language: C# - Size: 31.5 MB - Last synced at: 6 months ago - Pushed at: almost 4 years ago - Stars: 8 - Forks: 2

td0m/computer_algebra_system 📦

My A-Level computer science project, an computer algebra system built with Dart.

Language: Dart - Size: 907 KB - Last synced at: 10 months ago - Pushed at: almost 6 years ago - Stars: 8 - Forks: 2

dedoussis/algebrain-legacy

Computer Algebra System focusing on symbolic transformations

Language: Java - Size: 2.29 MB - Last synced at: about 6 hours ago - Pushed at: about 7 years ago - Stars: 8 - Forks: 1

MatProGo-dev/SymbolicMath.go

A symbolic math module for the Go (Golang) Programming Language.

Language: Go - Size: 509 KB - Last synced at: 2 days ago - Pushed at: 9 days ago - Stars: 7 - Forks: 0

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

xAct-contrib/xTerior

Exterior Calculus for xAct

Language: Mathematica - Size: 2.13 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 7 - Forks: 6

tueda/python-form

A Python package for communicating with FORM.

Language: Python - Size: 157 KB - Last synced at: 23 days ago - Pushed at: over 4 years ago - Stars: 7 - Forks: 0

LS-Lab/orbital

Orbital Library

Language: Java - Size: 4.7 MB - Last synced at: 10 months ago - Pushed at: about 8 years ago - Stars: 7 - Forks: 3

lubgr/tsym

Tiny symbolic library

Language: C++ - Size: 1.18 MB - Last synced at: 5 months ago - Pushed at: about 2 years ago - Stars: 6 - Forks: 2

ulthiel/JuLie.jl 📦

Mathematically sound structures and fast algorithms for things around representation theory, especially algebraic Lie theory and accompanying combinatorics.

Language: Julia - Size: 1.13 MB - Last synced at: 10 months ago - Pushed at: over 2 years ago - Stars: 6 - Forks: 7

chakravala/Grassmann.wl

⟨Leibniz-Grassmann-Clifford⟩ multilinear differential geometric algebra

Language: Mathematica - Size: 111 KB - Last synced at: 2 months ago - Pushed at: over 3 years ago - Stars: 6 - Forks: 3

mzinin/groebner_benchmarks

Series of benchmarks for computing boolean Groebner bases

Language: Python - Size: 3.64 MB - Last synced at: 10 months ago - Pushed at: over 5 years ago - Stars: 6 - Forks: 1

numbas/LissaJS 📦

An algebra parsing, evaluation and simplification system written entirely in JavaScript.

Language: JavaScript - Size: 273 KB - Last synced at: 3 days ago - Pushed at: almost 7 years ago - Stars: 6 - Forks: 3

nilqed/ReduceAlgebra

https://svn.code.sf.net/p/reduce-algebra/code/

Language: C - Size: 1010 MB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 2

ShrohanMohapatra/ChaosInBH

A set of autonomous Mathematica programs which explore the chaos in Gauss-Bonnet black holes, Reissner-Nordstrom black holes, Schwarzschild black holes, Born-Infeld black holes and hyper scale violating manifolds in Anti de-Sitter space.

Language: Mathematica - Size: 1.96 MB - Last synced at: 10 months ago - Pushed at: almost 6 years ago - Stars: 5 - Forks: 4

hexawyz/SolidSharp

Tentative symbolic computation framework geared towards 2D/3D geometry & CAD - WIP

Language: C# - Size: 216 KB - Last synced at: 10 months ago - Pushed at: almost 7 years ago - Stars: 5 - Forks: 2

axkr/symja_web

http://matheclipse.org - website for Symja project: https://github.com/axkr/symja_android_library

Language: JavaScript - Size: 3.17 MB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 0

IsaiahBHilz/susypy

A symbolic algebra system for supersymmetry calculations.

Language: Python - Size: 349 KB - Last synced at: 10 months ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 0

wevbarker/HiGGS

Hamiltonian Gauge Gravity Surveyor (HiGGS). Tools for Hamiltonian constraint, canonical and Dirac-Bergmann analysis of gravity theories with spacetime curvature and torsion.

Language: Mathematica - Size: 6.03 MB - Last synced at: 10 months ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 0

ryanstull/GroovyAlgebra

A simple computer algebra system, implemented in groovy

Language: Groovy - Size: 227 KB - Last synced at: about 1 month ago - Pushed at: almost 10 years ago - Stars: 4 - Forks: 0

arithmetica-org/arithmetica

General purpose math library with primarily arithmetic functions.

Language: C - Size: 8.71 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 3 - Forks: 1

ameli/ortho

A python package to generate orthogonal functions for regression

Language: Python - Size: 2.48 MB - Last synced at: 9 months ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 1

chakravala/DeMorgan.jl

Classical logic truth table magma algebra

Language: Julia - Size: 6.84 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0

nook0110/ComplexSolver

A program to prove geometry problems.

Language: C++ - Size: 6.58 MB - Last synced at: 10 months ago - Pushed at: about 2 years ago - Stars: 3 - Forks: 1

liviusi/kronecker-canonical-form

SageMath implementation of an algorithm to calculate exactly Kronecker's canonical form.

Language: PostScript - Size: 11.3 MB - Last synced at: 10 months ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0

pavel-fokin/SymbSAT

An educational purposes repository with algorithms for solving SAT problems with Groebner Bases.

Language: Python - Size: 143 KB - Last synced at: 10 months ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 1

mzinin/bpb

Utility for computing boolean Groebner bases with involutive Pommaret algorithm

Language: C++ - Size: 308 KB - Last synced at: 10 months ago - Pushed at: over 5 years ago - Stars: 3 - Forks: 2

dharmatech/AbstractAlgebraCs

Language: C# - Size: 154 KB - Last synced at: 4 days ago - Pushed at: almost 6 years ago - Stars: 3 - Forks: 0

darkeclipz/calcupy

Calculus powered graphical calculator.

Language: Python - Size: 1.61 MB - Last synced at: 10 months ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 0

nilqed/jsEmCAS

Javascript Computer Algebra System (standalone/emscripten based on eigenmath)

Language: JavaScript - Size: 1.36 MB - Last synced at: about 2 months ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 1

luis4a0/libmug

A library for computing modular GCD of univariate polynomials.

Language: C - Size: 58.6 KB - Last synced at: about 2 years ago - Pushed at: about 7 years ago - Stars: 3 - Forks: 1

gap-packages/crime

GAP package that computes the cohomology rings of finite p-groups, induced maps, and Massey products

Language: GAP - Size: 2.52 MB - Last synced at: 29 days ago - Pushed at: 29 days ago - Stars: 2 - Forks: 0

nilqed/weyl Fork of OdonataResearchLLC/weyl

This repository contains an updated version of the Weyl computer algebra substrate from Cornell University. It is ASDF loadable, and uses Closer-MOP. It currently is known to work with SBCL, CCL, ECL, LispWorks (and probably many others).

Language: Common Lisp - Size: 1.47 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 2 - Forks: 0

skyf0l/ecm-rs

Lenstra's Elliptic Curve Factorization Implementation in Rust

Language: Rust - Size: 65.4 KB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 2 - Forks: 0