GitHub repository: kalmarek/KnuthBendix.jl
Primary language: Julia
Created: 2020-05-11T09:14:20Z
Description: Pure Julia implementation of the Knuth-Bendix completion (focused primarily on groups and monoids)