Projects in Awesome Lists tagged with computer-algebra-system
A curated list of projects in awesome lists tagged with computer-algebra-system .
https://github.com/haifengl/smile
Statistical Machine Intelligence & Learning Engine
classification clustering computer-algebra-system computer-vision data-science dataframe deep-learning genetic-algorithm interpolation linear-algebra llm machine-learning manifold-learning multidimensional-scaling nearest-neighbor-search nlp regression statistics visualization wavelet
Last synced: 08 Jan 2026
https://github.com/juliasymbolics/symbolics.jl
Symbolic programming for the next generation of numerical software
cas computer-algebra-system high-performance mathematics parallel-computing symbolic-computing symbolic-math
Last synced: 03 Feb 2026
https://github.com/JuliaSymbolics/Symbolics.jl
Symbolic programming for the next generation of numerical software
cas computer-algebra-system high-performance mathematics parallel-computing symbolic-computing
Last synced: 04 May 2025
https://github.com/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.
computer-algebra-system mathematica wolfram-language
Last synced: 27 Mar 2025
https://github.com/davidedc/algebrite
Computer Algebra System in Javascript (Typescript)
algebra algebraic algebraic-computation cas coffeescript computer-algebra computer-algebra-system javascript javascript-cas math symbolic symbolic-computation symbolic-manipulation
Last synced: 15 May 2025
https://github.com/davidedc/Algebrite
Computer Algebra System in Javascript (Typescript)
algebra algebraic algebraic-computation cas coffeescript computer-algebra computer-algebra-system javascript javascript-cas math symbolic symbolic-computation symbolic-manipulation
Last synced: 14 Mar 2025
https://github.com/egison/egison
The Egison Programming Language
computer-algebra-system differential-geometry egison functional-programming hacktoberfest pattern-matching programming-language tensor
Last synced: 06 Oct 2025
https://github.com/gap-system/gap
Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
algebra computer-algebra computer-algebra-system discrete-mathematics group-theory math mathematics representation-theory
Last synced: 17 Jan 2026
https://github.com/fricas/fricas
Official repository of the FriCAS computer algebra system
computer-algebra computer-algebra-system math mathematics risch-algorithm symbolic-computation symbolic-integration symbolic-manipulation
Last synced: 27 Jan 2026
https://github.com/oscar-system/Oscar.jl
A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.
abstract-algebra computer-algebra computer-algebra-system julia julia-package math mathematics maths
Last synced: 22 Jul 2025
https://github.com/kpeeters/cadabra2
A field-theory motivated approach to computer algebra.
cadabra2 computer-algebra computer-algebra-system cplusplus mathematics physics python3 science-research symbolic-manipulation sympy tensor-algebra tensors
Last synced: 16 May 2025
https://github.com/justindujardin/mathy
Tools for using computer algebra systems to solve math problems step-by-step with reinforcement learning
computer-algebra-system machine-learning math mathy python3 reinforcement-learning symbolic-math trees
Last synced: 17 Mar 2026
https://github.com/grzegorzmazur/yacas
Computer calculations made easy
cas computer-algebra-system symbolic-computation
Last synced: 10 Jan 2026
https://github.com/masonprotter/symbolics.jl
A symbolic math library written in Julia modelled off scmutils
automatic-differentiation computer-algebra-system julia physics symbolic-math
Last synced: 09 Oct 2025
https://github.com/MasonProtter/Symbolics.jl
A symbolic math library written in Julia modelled off scmutils
automatic-differentiation computer-algebra-system julia physics symbolic-math
Last synced: 22 Jul 2025
https://github.com/bluescarni/piranha
The Piranha computer algebra system.
astrodynamics c-plus-plus cas celestial-mechanics computer-algebra computer-algebra-system physics python
Last synced: 07 May 2025
https://github.com/Canna71/obsidian-mathpad
Computer Algebra System (CAS) for Obsidian.md
algebra calculator calculus computer-algebra-system mathematics plot
Last synced: 22 Jul 2025
https://github.com/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/
computer-algebra-system mathematics
Last synced: 19 Apr 2026
https://github.com/bowenfu/mathiu.cpp
mathiu : a simple computer algebra system in C++.
computer-algebra-system cpp cpp17 cpp17-library symbolic-computation symbolic-expressions symbolic-math
Last synced: 07 Jul 2025
https://github.com/Nonanti/mathcore
Symbolic math library and computer algebra system for Rust
calculus computer-algebra-system differential-equations equation-solver mathematics rust scientific-computing symbolic-math
Last synced: 26 Sep 2025
https://github.com/stefnotch/quantum-sheet
QuantumSheet - A user friendly mathematics worksheet and solver
calculator computer-algebra computer-algebra-system math mathematics pyodide
Last synced: 12 Oct 2025
https://github.com/nilqed/latex2sixel
LaTeX to SIXEL conversion
computer-algebra-system fricas latex maxima pure sixel sixel-graphics
Last synced: 10 Oct 2025
https://github.com/lm-cyber/symkell
A computer algebra system written in Haskell
computer-algebra-system haskell math
Last synced: 07 Mar 2026
https://github.com/zalo/symplex
A Symbolic Code Algebra+Calculus system for VS Code
algebra calculus computer-algebra-system symbolic-math sympy vscode vscode-extension
Last synced: 12 Apr 2025
https://github.com/bluescarni/obake
A C++20 library for the symbolic manipulation of sparse polynomials & co.
c-plus-plus c-plus-plus-20 cas celestial-mechanics computer-algebra computer-algebra-system physics sparse-polynomials
Last synced: 18 Mar 2025
https://github.com/foo123/abacus
Computer Algebra and Symbolic Computation System for Combinatorics and Algebraic Number Theory for JavaScript
algebraic-number-theory combinations combinatorics computer-algebra-system derangement diophantine-solver extended-euclidean-algorithm factorization groebner-basis involution magic-square matrices partitions permutations polynomial-solvers polynomials primality-test primes symbolic-computation tensors
Last synced: 14 Feb 2026
https://github.com/nw-rs/citrus-cas
CAS (Computer Algebra System) written in Rust for no_std environments.
algebra calculator cas computer-algebra-system nostd rust rust-lang
Last synced: 06 May 2025
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: 03 May 2025
https://github.com/mixedmatched/juniper
A toy formally-specified Computer Algebra library written in Rust and formalized in Lean 4
computer-algebra computer-algebra-system formal-methods formal-proofs lean lean4 rust
Last synced: 08 May 2025
https://github.com/s-celles/giac.jl
Julia interface to the Giac computer algebra system
ai-generated-code computer-algebra-system derivation education equation-solving exact-computation factorization giac grobner-bases integration julia julialang limits mathematical-software numerical-analysis open-source polynomial-arithmetic scientific-computing simplification symbolic-mathematics
Last synced: 02 May 2026
https://github.com/homalg-project/homalg_project
Deposited packages of the homalg project
computer-algebra-system gap homological-algebra matrices modules rings
Last synced: 10 Apr 2026
https://github.com/qojulia/secondquantizedalgebra.jl
Symbolic computations with second quantized operators
computer-algebra-system hamiltonian quantum quantum-mechanics symbolics
Last synced: 15 Apr 2026
https://github.com/egri-nagy/kigen
Computational Semigroup Theory Software System written in Clojure
abstract-algebra clojure computer-algebra computer-algebra-system diagram-semigroups mathematics semigroup
Last synced: 30 Jul 2025
https://github.com/dedoussis/algebrain-legacy
Computer Algebra System focusing on symbolic transformations
algebra antlr antlr4 computer-algebra computer-algebra-system java
Last synced: 14 Oct 2025
https://github.com/alkahest-cas/alkahest
High-performance computer algebra system built for humans and AI
agent-tools computer-algebra computer-algebra-system python rust
Last synced: 28 May 2026
https://github.com/nicbarker/algebra-sandbox
Interactive algebra and symbolic manipulation
computer-algebra-system math mathematics mathematics-education
Last synced: 11 Apr 2025
https://github.com/ammedmar/comch
A specialized computer algebra system for the study of commutativity up to coherent homotopies
computer-algebra-system topology
Last synced: 14 Jun 2025
https://github.com/hieyou1/timirror
Mirror your Texas Instruments Nspire calculator's screen to your computer.
computer-algebra-system nspire texas-instruments texas-instruments-calculators ti-calculators ti-nspire ti-nspire-calculators ti-nspire-cx ti-nspire-cx-cas ti-nspire-cx-cas-ii
Last synced: 16 Mar 2026
https://github.com/nilqed/reducealgebra
https://svn.code.sf.net/p/reduce-algebra/code/
computer-algebra computer-algebra-system lisp-dialect pure-lang reduce symbolic-computation
Last synced: 19 Jul 2025
https://github.com/peter-juhasz/science.mathematics.algebra
Algebra system using Roslyn as a model.
algebra computer-algebra-system dotnet mathematics science
Last synced: 24 Jul 2025
https://github.com/tim-becker/pyalgebra
Toy computer algebra system in pure python
computer-algebra-system groebner-basis polynomials
Last synced: 04 Aug 2025
https://github.com/nilqed/jsemcas
Javascript Computer Algebra System (standalone/emscripten based on eigenmath)
computer-algebra computer-algebra-system javascript repl standalone symbolic-math
Last synced: 23 Mar 2025
https://github.com/ynx0/kcas
kind of a CAS (computer algebra system)
computer-algebra-system python
Last synced: 14 Jun 2025
https://github.com/nilqed/fricas0
A pure Common Lisp build of FriCAS
common-lisp computer-algebra-system fricas
Last synced: 04 Feb 2026
https://github.com/psaegert/simplipy
Efficient Simplification of Mathematical Expressions
computer-algebra-system expression-simplificator mathematical-expressions symbolic-regression sympy
Last synced: 01 Apr 2026
https://github.com/sizzlins/kalkulator-ai
A Simple Command Line Input Symbolic Regression Engine and Computer Algebra System (CAS) capable of discovering the laws of the universe, solving calculus, algebra, and trigonometrics.
calculator calculus cli computer-algebra-system curve-fitting machine-learning mathematics numpy physics python scientific-computing scikit-learn sparse-regression symbolic-regression sympy
Last synced: 13 Jan 2026
https://github.com/agroudiev/ocaml-cas
A basic Computer Algebra System (CAS) made in OCaml
cas computer-algebra-system ocaml
Last synced: 27 May 2026
https://github.com/pirocks/simple-algebra-lib
A simple algebra library. Currently a work in progress. Jars on Maven central should be useable.
algebra computer-algebra-system kotlin
Last synced: 06 Apr 2025
https://github.com/nilqed/fricas_cygwin
FriCAS for Cygwin64 (portable)
computer-algebra-system cygwin ecl fricas fricas-cygwinportable symbolic-computation
Last synced: 30 Oct 2025
https://github.com/red-rapious/ocaml-cas
A basic Computer Algebra System (CAS) made in OCaml
cas computer-algebra-system ocaml
Last synced: 01 Mar 2025
https://github.com/christianparpart/dim
C++ mathematics library for linear algebra, symbolic algebra
algebra computer-algebra-system cplusplus cplusplus-17 linear-algebra symbolic-math
Last synced: 08 Oct 2025
https://github.com/nilqed/pure_jaxmate
Pure node server + JaxMaTe client
computer-algebra-system math mathjax nodejs-server pure-lang reduce-algebra socket-io symbolic-computation term-rewriting
Last synced: 15 May 2026
https://github.com/lordubuntu/maths
Maths algorithms and data structures you'll find useful, formally verified and optimized
algebra algorithms calculus computer-algebra-system data-structures design-by-contract formal-verification mathematical-programming mathematics maths property-based-testing
Last synced: 12 Sep 2025
https://github.com/nicbarker/simple-computer-algebra-system
A reference implementation for a simple computer algebra system.
Last synced: 27 Jan 2026
https://github.com/nilqed/cl-weyl
Weyl Computer Algebra Substrate (dev)
common-lisp computer-algebra computer-algebra-system
Last synced: 15 Aug 2025
https://github.com/cactus-proj/mtcas
计算机代数系统的数学理论(Mathematica Theory of Computer Algebra System,MTCAS)
Last synced: 30 Jan 2026
https://github.com/axkr/symjacheerpj
Symja running in CheerpJ environment
computer-algebra-system mathematica
Last synced: 07 Feb 2026
https://github.com/nilqed/mma
Mock-Mma by Richard J. Fateman
common-lisp computer-algebra-system mma
Last synced: 05 Jan 2026
https://github.com/nilqed/redhelp
REDUCE Reference Manual
cas computer-algebra-system pdf reduce reference reference-material
Last synced: 03 Feb 2026
https://github.com/kat-stash/macaw
An experimental, companion implementation of the Macaulay2 computer algebra system in Rust.
algebraic-geometry cas commutative-algebra computer-algebra-system math mathematics
Last synced: 15 Feb 2026
https://github.com/nilqed/fricas-texmacs
FriCAS & TeXmacs (plugin enhancements)
computer-algebra-system fricas texmacs-config texmacs-plugin
Last synced: 04 Jan 2026
https://github.com/nilqed/abcl_maxima
ABCL Maxima (portable)
abcl cas computer-algebra-system java maxima portable
Last synced: 23 Mar 2025
https://github.com/hiwane/ganrac
Go language version QE tool for Real Algebraic Constraints
computer-algebra-system golang real-quantifier-elimination
Last synced: 14 Jan 2026