Explore projects
-
Updated
-
User expired / simsim
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
Updated
-
User expired / experimenter
BSD 3-Clause "New" or "Revised" LicenseUpdated -
-
User expired / tct-tune
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
Yet another LPO/KBO-based termination tool written in Haskell.
Updated -
Yet another completion tool written in Haskell.
Updated -
Yet another maximal completion tool written in Haskell.
Updated -
A tool performing AC-completion for left-linear TRSs written in Haskell.
Updated -
This is a code base accompanying the master thesis with the title 'On orthogonality of Self-Distributivity' by R. Schikora.
Updated -
Morgan Couapel / Abstranalyser
BSD 3-Clause "New" or "Revised" LicenseUpdated