Explore projects
-
Updated
-
Updated
-
A tool performing AC-completion for left-linear TRSs written in Haskell.
Updated -
-
empirical and asymptotic analysis of serial, parallel openmp and mpi program versions for various well known kernels on mach parallel computer in linz and vsc-3 parallel computer in Vienna
Updated -
-
User expired / Authorship Attribution Benchmark
BSD 3-Clause "New" or "Revised" LicenseUpdated -
-
ionen-angewandte-physik / AG-Wester / bibtools
MIT LicenseCommand line tools for bibtex citations
Updated -
Updated
-
-
Updated
-
Updated