Symbolica is a high-performance computer algebra library for Python and Rust. Manipulate large expressions, match patterns, and generate optimized numerical code — at unprecedented speed.

The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.

Library for Polynomial System Solving through Algebraic Methods

General-Purpose Computer Algebra System as an EDSL in Haskell

Rings: efficient JVM library for polynomial rings

Groebner bases in (almost) pure Julia

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

Automatic generator of Groebner basis solvers.

An easy-to-use, general and open-source tool to solve the guess-and-determine problem

Computer Algebra and Symbolic Computation System for Combinatorics and Algebraic Number Theory for JavaScript

A C++ library for algebra over GF(2)

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

Lean4 formalization of Gröbner basis (WIP)

Buchberger and F4 algorithms for computing Gröbner basis for systems of multivariate polynomials

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

A fast program for computing Groebner bases

Series of benchmarks for computing boolean Groebner bases

Toy computer algebra system in pure python

Utility for computing boolean Groebner bases with involutive Pommaret algorithm

Opening the Blackbox: Collision attacks on round-reduced Tip5, Tip4, Tip4’ and Monolith.