Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Yet another LPO/KBO-based termination tool written in Haskell.
-
Yet another maximal completion tool written in Haskell.
-
Yet another completion tool written in Haskell.
-
Exhange or offer your Flat [Moved by Admin 2021-08-18]
-
-
-
-
Generating programs in the while-language from input/output-data using genetic programming.
[Moved by Admin 2021-08-18]
-
-
A project to abstract from the git-backup-helper and eremi-backup-helper.
-
-
-
-
-
All my Language-Tools in one place
-
EhrenTT
-
extracts substructures from trees