Explore projects
-
Updated
-
User expired / hello
GNU General Public License v3.0 onlyUpdated -
Updated
-
Yet another LPO/KBO-based termination tool written in Haskell.
Updated -
-
Updated
-
Updated
-
Updated
-
Contains experiments for the out-of-language attribution task
Updated -
Updated
-
-
-
-
ionen-angewandte-physik / AG-Wester / bibtools
MIT LicenseCommand line tools for bibtex citations
Updated