Explore projects
-
Updated
-
Code und Unterlagen für das "Kryptologische Programmierpraktikum" am FB Informatik der Hochschule Trier
Updated -
Updated
-
Updated
-
Kaya, Tunahan / WeatherChallenge-TKaya
Apache License 2.0Updated -
PLMZ / truediff
MIT LicenseFast and precise tree diffing for concise and safe tree changesets.
Updated -
Updated
-
Updated
-
PLMZ / sturdy
BSD 3-Clause "New" or "Revised" LicenseSturdy is a library to create sound abstract interpreters in Haskell.
Updated -
Updated
-
Updated
-
Updated
-
Andreas Hobelsberger / DMM-Repo
MIT LicenseUpdated -
ars3d / ars3d-api
MIT LicenseUpdated -
Tom Hey / DMM-Repo
MIT LicenseUpdated -
HypOCBR / example-backend
GNU General Public License v3.0 onlyExample backend of HypOCBR (see paper at https://doi.org/10.1007/978-3-031-14923-8_18)
Updated -
HypOCBR / service
GNU General Public License v3.0 onlyMain repository of HypOCBR (see paper at https://doi.org/10.1007/978-3-031-14923-8_18)
Updated -
Veit Zoche-Golob / EcoParaDairy
GNU General Public License v3.0 onlyA web tool to assess the economic effects of paratuberculosis on a dairy farm in New Zealand using an individual-based simulation.
Updated -
Updated