Pure Math in Pure Swift.
A completely browser-based e-assessment/e-learning system, with an empha...
A minimalistic, elegant and powerful approach to working with graphs in ...
Fast [co]product types with a clean syntax. For Cats & Scalaz.
:green_book: A visualization of key structures in abstract algebra.
Optimus is a mathematical programming library for Scala.
means completeness and balancing, from the Arabic word الجبر
[Experimental] LLVM-accelerated Generic Linear Algebra Subprograms
endless is a library to build distributed systems in functional Scala us...
Educational tool for relational algebra
The theory of algebraic graphs formalised in Agda
Algebraic simplification in Julia
An efficient symbolic term rewriting engine
Rings: efficient JVM library for polynomial rings
Simple computer algebra system