87 Open Source Algebra Software Projects
Free and open source algebra code projects including engines, APIs, generators, and tools.
Math Php 1679 ⭐
Powerful modern math library for PHP: Features descriptive statistics and regressions; Continuous and discrete probability distributions; Linear algebra with matrices and vectors, Numerical analysis; special mathematical functions; Algebra
Derive4j 500 ⭐
Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
Gap System Gap 398 ⭐
Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
Zzllrr Mather 253 ⭐
zzllrr mather(an offline tool for Math learning, education and research)小乐数学，离线可用的数学学习（自学或教学）、研究辅助工具。计划覆盖数学全部学科的解题、作图、演示、探索工具箱。目前是演示Demo版（抛转引玉），但已经支持数学公式编辑显示，部分作图功能，部分学科，如线性代数、离散数学的部分解题功能。最终目标是推动专业数学家、编程专家、教育工作者、科普工作者共同打造出更加专业级的Mather数学工具
Mu Scala 251 ⭐
Mu is a purely functional library for building RPC endpoint based services with support for RPC and HTTP/2
Cmathtuts 247 ⭐
trying to collect all useful tutorials for famous C math and linear algebra libraries such as CBLAS, CLAPACK, GSL...
Grassmann.jl 257 ⭐
⟨Leibniz-Grassmann-Clifford⟩ differential geometric algebra / multivector simplicial complex
Basic Mathematics For Machine Learning 223 ⭐
The motive behind Creating this repo is to feel the fear of mathematics and do what ever you want to do in Machine Learning , Deep Learning and other fields of AI
Alga Paper 160 ⭐
A minimalistic, elegant and powerful approach to working with graphs in a functional programming language
Symja_android_library 153 ⭐
:coffee: Symja - computer algebra language & symbolic math library for Android NCalc calculator. A collection of popular algorithms implemented in pure Java.
Reduce.jl 151 ⭐
Symbolic parser generator for Julia language expressions using REDUCE algebra term rewriter
Abstract Algebra Cheatsheet 133 ⭐
:green_book: A visualization of key structures in abstract algebra.
Numbas 135 ⭐
A completely browser-based e-assessment/e-learning system, with an emphasis on mathematics
Stanford Cme 102 Ordinary Differential Equations 83 ⭐
VIP cheatsheets for Stanford's CME 102 Ordinary Differential Equations for Engineers
Augmath 32 ⭐
Interactive Computer Algebra System. Augmenting how we *do* mathematics using computers
Criptografia_y_computacion 14 ⭐
Prácticas de la asignatura Criptografía y Computación - Grado en Ingeniería Informática (UGR)
Glsl Cpp 12 ⭐
A generic, modern and extensible numerical toolkit following the syntax and functionality of the GLSL shading language, but it packed with extra goodies
Ct 12 ⭐
My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.
Abstract_dart 10 ⭐
A collection of algebraic structures borrowed from abstract algebra. Semigroup, Monoid, Group & Field.
Types Vs Tests 15 ⭐
Tab vs spaces, vim vs emacs, types vs tests, our community is full of these conflicts. In this talk, we'll explore the latter: what is the impact of types in our programs? Can types help write more efficient tests? If so, how?
Klefki 10 ⭐
Klefki is a playground for researching elliptic curve group based cryptocoins, such as Bitcoin and Ethereum. All data types & structures are based on mathematical defination of abstract algebra.