bandecodanet/mathcore

🧮 Simplify math tasks with MathCore, a Rust library for symbolic differentiation, integration, equation solving, and more.

Language: Rust - Size: 47.9 KB - Last synced at: about 1 hour ago - Pushed at: about 3 hours ago - Stars: 0 - Forks: 0

homalg-project/homalg_project

Deposited packages of the homalg project

Language: GAP - Size: 24.4 MB - Last synced at: about 7 hours ago - Pushed at: about 9 hours ago - Stars: 16 - Forks: 20

FiroozehDastur/DistributedWorkflows.jl

A Julia interface to a distributed task-based workflow management system

Language: Julia - Size: 7.5 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 10 - Forks: 1

oscar-system/Oscar.jl

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

Language: Julia - Size: 36.7 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 429 - Forks: 142

Mathics3/mathics-core

An open-source Mathematica Kernel. This repository contains the Python modules for WL Built-in functions, variables, core primitives, e.g. Symbol, a parser to create Expressions, and an evaluator to execute them.

Language: Python - Size: 28.6 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 1,121 - Forks: 60

gap-system/gap

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

Language: GAP - Size: 421 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 899 - Forks: 174

passagemath/passagemath

General purpose mathematical software system, compatible fork of https://github.com/sagemath/sage supporting modularized installation with pip. Main repository, containing Sage library (src/), modularized pip-installable packages (pkgs/), Sage distribution (build/). Source repo for most packages in https://pypi.org/org/passagemath/

Language: Python - Size: 384 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 37 - Forks: 9

JuliaSymbolics/Symbolics.jl

Symbolic programming for the next generation of numerical software

Language: Julia - Size: 37.5 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 1,443 - Forks: 172

reduce-algebra/reduce-algebra

reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/code/. Please visit the REDUCE Homepage, https://reduce-algebra.sourceforge.io/, to report any bugs or request assistance.

Size: 1.29 GB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 41 - Forks: 1

zarstensen/obsidian-latex-math

Integrated CAS (via. Sympy) plugin for Obsidian, with a LaTeX focused workflow.

Language: Python - Size: 1.65 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 24 - Forks: 3

Nonanti/mathcore

Symbolic math library and computer algebra system for Rust

Language: Rust - Size: 0 Bytes - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 0 - Forks: 0

nicbarker/algebra-sandbox

Interactive algebra and symbolic manipulation

Language: TypeScript - Size: 1.34 MB - Last synced at: about 21 hours ago - Pushed at: 9 days ago - Stars: 13 - Forks: 0

kpeeters/cadabra2

A field-theory motivated approach to computer algebra.

Language: C++ - Size: 157 MB - Last synced at: 6 days ago - Pushed at: 23 days ago - Stars: 254 - Forks: 43

haifengl/smile

Statistical Machine Intelligence & Learning Engine

Language: Java - Size: 246 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 6,241 - Forks: 1,145

QuantumSavory/QuantumSymbolics.jl

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

Language: Julia - Size: 1.53 MB - Last synced at: 8 days ago - Pushed at: 23 days ago - Stars: 40 - Forks: 19

egri-nagy/kigen

Computational Semigroup Theory Software System written in Clojure

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

davidedc/Algebrite

Computer Algebra System in Javascript (Typescript)

Language: TypeScript - Size: 3.55 MB - Last synced at: 18 days ago - Pushed at: about 2 years ago - Stars: 983 - Forks: 60

fricas/fricas

Official repository of the FriCAS computer algebra system

Size: 25.2 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 341 - Forks: 48

qojulia/SecondQuantizedAlgebra.jl

Symbolic computations with second quantized operators

Language: Julia - Size: 438 KB - Last synced at: 18 days ago - Pushed at: 19 days ago - Stars: 5 - Forks: 1

rcst/rim Fork of shumelchyk/rmaxima

rim provides an interface to Maxima for R. Maxima is a powerful and fairly complete computer algebra system.

Language: R - Size: 5.72 MB - Last synced at: 10 days ago - Pushed at: about 2 months ago - Stars: 11 - Forks: 3

simplearyan/math-grid

🧊 Mathematics Grid System

Language: TypeScript - Size: 298 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

matematiflo/CompAssistedMath2024

GitHub repository for the seminar on Computer-assisted mathematics held at the University of Heidelberg during the Summer Semester of 2024.

Language: Jupyter Notebook - Size: 110 MB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 5 - Forks: 14

Canna71/obsidian-mathpad

Computer Algebra System (CAS) for Obsidian.md

Language: TypeScript - Size: 807 KB - Last synced at: about 2 months ago - Pushed at: almost 2 years ago - Stars: 100 - Forks: 2

LordUbuntu/maths

Maths algorithms and data structures you'll find useful, formally verified and optimized

Language: Python - Size: 221 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0

psaegert/simplipy

Efficient Simplification of Mathematical Expressions

Language: Python - Size: 6.13 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

hemmecke/fricas Fork of fricas/fricas

Ralf's public branches of FriCAS

Size: 58.6 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

justindujardin/mathy

Tools for using computer algebra systems to solve math problems step-by-step with reinforcement learning

Language: Python - Size: 68.2 MB - Last synced at: 22 days ago - Pushed at: about 1 year ago - Stars: 140 - Forks: 161

lm-cyber/symkell

A computer algebra system written in Haskell

Language: Haskell - Size: 116 KB - Last synced at: 3 months ago - Pushed at: 4 months ago - Stars: 106 - Forks: 0

MatteoRagni/cas-rb

Very simple CAS in Ruby

Language: Ruby - Size: 897 KB - Last synced at: 17 days ago - Pushed at: about 8 years ago - Stars: 4 - Forks: 2

oldk1331/fricas Fork of fricas/fricas

Fork of https://github.com/fricas/fricas

Size: 24.4 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 2

Cactus-proj/MTCAS

计算机代数系统的数学理论（Mathematica Theory of Computer Algebra System，MTCAS）

Language: TeX - Size: 13.3 MB - Last synced at: 6 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

ammedmar/comch

A specialized computer algebra system for the study of commutativity up to coherent homotopies

Language: Python - Size: 569 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 6 - Forks: 5

nicbarker/simple-computer-algebra-system

A reference implementation for a simple computer algebra system.

Language: C# - Size: 55.7 KB - Last synced at: about 21 hours ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

nwagyu/khicas

KhiCAS for NumWorks

Language: PostScript - Size: 101 MB - Last synced at: 3 months ago - Pushed at: almost 3 years ago - Stars: 10 - Forks: 3

egison/egison

The Egison Programming Language

Language: Haskell - Size: 8.5 MB - Last synced at: 4 months ago - Pushed at: over 2 years ago - Stars: 921 - Forks: 31

mkulesh/microMathematics

microMathematics Plus - Extended visual calculator

Language: Java - Size: 282 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 602 - Forks: 68

hiwane/ganrac

Go language version QE tool for Real Algebraic Constraints

Language: Go - Size: 774 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

isaacphysics/equality-checker

Lightweight server for testing equivalence of two symbolic expressions.

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

abacus42/CoCoA-Vim

Vim Plugin for the Computer Algebra System CoCoA

Language: Vim Script - Size: 43.9 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0

NekkittAY/computer-algebra-system

computer algebra system in python

Language: Python - Size: 32.2 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

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 months ago - Pushed at: 8 months ago - Stars: 15 - Forks: 1

nilqed/cl-weyl

Weyl Computer Algebra Substrate (dev)

Language: Common Lisp - Size: 14.5 MB - Last synced at: 22 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

tim-becker/pyalgebra

Toy computer algebra system in pure python

Language: Python - Size: 7.81 KB - Last synced at: about 1 month ago - Pushed at: over 7 years ago - Stars: 4 - Forks: 0

zalo/Symplex

A Symbolic Code Algebra+Calculus system for VS Code

Language: TypeScript - Size: 753 KB - Last synced at: 5 months ago - Pushed at: over 3 years ago - Stars: 30 - Forks: 1

nilqed/latex2sixel

LaTeX to SIXEL conversion

Language: Shell - Size: 712 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 35 - Forks: 3

grzegorzmazur/yacas

Computer calculations made easy

Language: JavaScript - Size: 60.1 MB - Last synced at: 4 months ago - Pushed at: about 1 year ago - Stars: 133 - Forks: 24

EasyKayzey/CASprzak

CASprzak is a Computer Algebra System by EasyKayzey (Erez Abrams and Michael Kasprzak)

Language: Java - Size: 2.09 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 11 - Forks: 4

nilqed/mma

Mock-Mma by Richard J. Fateman

Language: Mathematica - Size: 572 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - 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: 6 months ago - Pushed at: 6 months ago - Stars: 2 - Forks: 0

nilqed/fricas-texmacs

FriCAS & TeXmacs (plugin enhancements)

Language: Scheme - Size: 316 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

bluescarni/obake

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

Language: C++ - Size: 10.2 MB - Last synced at: 5 months ago - Pushed at: 11 months ago - Stars: 28 - Forks: 9

MasonProtter/Symbolics.jl

A symbolic math library written in Julia modelled off scmutils

Language: Julia - Size: 155 KB - Last synced at: 2 months ago - Pushed at: over 4 years ago - Stars: 108 - Forks: 16

mathy/mathy_core

Computer Algebra System for converting text inputs to trees, manipulating them with rules, and evaluating their values.

Language: Python - Size: 495 KB - Last synced at: 4 months ago - Pushed at: 6 months ago - Stars: 5 - Forks: 2

Georgecane/cardano

The Cardano Algebra System is an advanced computing tool for performing complex mathematical calculations. This system has been developed using mathematical libraries such as SymPy to perform algebraic operations, calculus, linear algebra and other mathematical functions.

Language: Python - Size: 155 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0

adam-mcdaniel/trees

A library for tree data structures, rewriting, and visualization in Rust

Language: Rust - Size: 1.15 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0

AbhilashaTandon/CASsiopeia

A calculus focused computer algebra system in Rust.

Language: Rust - Size: 1.3 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0

bluescarni/piranha

The Piranha computer algebra system.

Language: C++ - Size: 119 MB - Last synced at: about 2 months ago - Pushed at: about 3 years ago - Stars: 102 - Forks: 25

BowenFu/mathiu.cpp

mathiu : a simple computer algebra system in C++.

Language: C++ - Size: 544 KB - Last synced at: 2 months ago - Pushed at: about 4 years ago - Stars: 79 - Forks: 1

hieyou1/TIMirror

Mirror your Texas Instruments Nspire calculator's screen to your computer.

Language: JavaScript - Size: 147 KB - Last synced at: 5 months ago - Pushed at: over 3 years ago - Stars: 6 - Forks: 2

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: 6 days ago - Pushed at: over 1 year ago - Stars: 17 - Forks: 1

dedoussis/algebrain-legacy

Computer Algebra System focusing on symbolic transformations

Language: Java - Size: 2.29 MB - Last synced at: about 2 months ago - Pushed at: over 7 years ago - Stars: 8 - Forks: 1

nw-rs/citrus-cas

CAS (Computer Algebra System) written in Rust for no_std environments.

Language: Rust - Size: 161 KB - Last synced at: 23 days ago - Pushed at: over 2 years ago - Stars: 16 - Forks: 2

qed-project/project

The monorepo containing all code for the QED project

Language: Rust - Size: 165 KB - Last synced at: 1 day ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

nilqed/pure_jaxmate

Pure node server + JaxMaTe client

Language: Red - Size: 19.2 MB - Last synced at: 28 days ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

hexawyz/SolidSharp

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

Language: C# - Size: 216 KB - Last synced at: about 1 year ago - Pushed at: about 7 years ago - Stars: 5 - Forks: 2

stefnotch/quantum-sheet

QuantumSheet - A user friendly mathematics worksheet and solver

Language: TypeScript - Size: 23.4 MB - Last synced at: 5 months ago - Pushed at: about 3 years ago - Stars: 55 - Forks: 5

Soham-Saha/DerivativeCalculator

Derivative calculator with a very irritating 'simplify' implementation

Language: Java - Size: 32.2 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

anic17/CAS

Simple CAS project

Language: C - Size: 26.4 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

nylvon/rezolve

ReZolve is a symbolic computer algebra system that acts as a mathematical compiler written in Zig.

Language: Zig - Size: 137 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

souffle17/cas-from-scratch

a computer algebra system made with no external libraries

Language: Rust - Size: 82 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

reduce-algebra/reduce.jl Fork of chakravala/Reduce.jl

reduce.jl: Symbolic parser generator for Julia language expressions using REDUCE algebra term re-writer, automatically mirrored from https://github.com/chakravala/Reduce.jl

Size: 1.77 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0

reduce-algebra/homebrew-reduce-algebra

A macOS Homebrew tap for REDUCE, the portable general-purpose computer algebra system.

Size: 322 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

kat-stash/macaw

An experimental, companion implementation of the Macaulay2 computer algebra system in Rust.

Size: 1.95 KB - Last synced at: about 7 hours ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

blankBuffer/BitLogic

simple java computer algebra system

Language: Java - Size: 37.3 MB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 8 - Forks: 2

nilqed/jsEmCAS

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

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

reduce-algebra/reducealgebra.jl Fork of JuliaReducePkg/ReduceAlgebra.jl

reducealgebra.jl: Meta-package for Reduce.jl and External Packages, automatically mirrored from https://github.com/JuliaReducePkg/ReduceAlgebra.jl

Size: 20.5 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0

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: about 1 year ago - Pushed at: over 6 years ago - Stars: 8 - Forks: 2

danselmi/sycira

symbolic circuit analyzer for the Maxima computer algebra system

Language: C++ - Size: 634 KB - Last synced at: 6 days ago - Pushed at: almost 5 years ago - Stars: 14 - Forks: 0

callummarshall9/CASLib

Simple Computer Algebra System

Language: C++ - Size: 1.54 MB - Last synced at: over 1 year ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

casper-math/casper-math

Computer Algebra System (CAS) for JavaScript

Language: TypeScript - Size: 189 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

Belissimo-T/belissisolver

A primitive CAS

Language: Python - Size: 32.2 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

nilqed/fricas0

A pure Common Lisp build of FriCAS

Language: Common Lisp - Size: 20 MB - Last synced at: 2 months ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 2

reduce-algebra/run-reduce Fork of fjwright/Run-REDUCE

run-reduce: A JavaFX GUI to run the REDUCE Computer Algebra System, automatically mirrored from https://github.com/fjwright/Run-REDUCE

Size: 2.2 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

mesut146/boolean

a java library for boolean algebra

Language: Java - Size: 774 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 1

quentinguidee/SwiftCAS 📦

Language: Swift - Size: 294 KB - Last synced at: almost 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

quentinguidee/KotlinCAS 📦

Language: Kotlin - Size: 163 KB - Last synced at: almost 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

sudeepan/Symbolica-Colab

Learn more about the Symbolica project: https://symbolica.io/

Language: Jupyter Notebook - Size: 7.81 KB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

Peter-Juhasz/Science.Mathematics.Algebra

Algebra system using Roslyn as a model.

Language: C# - Size: 185 KB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 4

JiachenRen/Kelvin

A powerful language for symbolic computation written in Swift.

Language: Swift - Size: 17.2 MB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 24 - Forks: 1

CCain67/noetherpy

A python library for computational abstract algebra designed to make it easy to learn, test conjectures and ideas in a python notebook.

Language: Python - Size: 305 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

sid-code/boolalg

A boolean algebra system written in Nim http://www.public.asu.edu/~skulka20/boolalg/

Language: Nim - Size: 24.4 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 3 - Forks: 1

agroudiev/OCaml-CAS

A basic Computer Algebra System (CAS) made in OCaml

Language: OCaml - Size: 22.5 KB - Last synced at: 5 months ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

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: about 1 year ago - Pushed at: about 6 years ago - Stars: 5 - Forks: 4

mesut146/math

a simple math library written in java

Language: Java - Size: 4.68 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0

hampoelz/LaTeX-Science-Template

📃 Preconfigured LaTeX document for technical and scientific use with a fully integrated CAS

Language: Batchfile - Size: 1.37 MB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

JiachenRen/java-algebra-system

An extensible, intuitive and easy to use algebra system that is capable of algebraic manipulation, simplification, differentiation, and much more. Reverse engineered from TI-nspire CAS.

Language: Java - Size: 24.4 MB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 38 - Forks: 5

mjrodgers/MATH207-Example-Magma-Code

Code examples for Istinye University course MATH207 - Computer Algebra

Size: 10.7 KB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

ynx0/kCAS

kind of a CAS (computer algebra system)

Language: Python - Size: 37.1 KB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0

nilqed/ReduceAlgebra

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

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

wheelercj/Expresser 📦

A fast and expressive computer algebra system focused on ease of use.

Language: C++ - Size: 170 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 0