A modern computer algebra library for Python and Rust.

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

Automatic generator of Groebner basis solvers.

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

An easy-to-use, general and open-source tool to search for guess-and-determine attacks and key bridges

Advanced Combinatorics and Algebraic Number Theory Symbolic Computation library for JavaScript, Python

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

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

Series of benchmarks for computing boolean Groebner bases

A fast program for computing Groebner bases

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

Utility for computing boolean Groebner bases with involutive Pommaret algorithm

Toy computer algebra system in pure python

Lean4 formalization of Gröbner basis (WIP)

A one-person game that visualizes Buchberger's algorithm to find the reduced Gröbner basis of a set of binomials over ℤ₂[𝑥,𝑦]

Utility for computing boolean Groebner bases with involutive Janet algorithm