Stars
A project to map out the relations between different equational theories of Magmas.
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, cl…