Explore projects
-
Kaya, Tunahan / WeatherChallenge-TKaya
Apache License 2.0Updated -
Updated
-
Updated
-
Updated
-
PLMZ / External / viatra
Eclipse Public License 2.0Updated -
PLMZ / truediff
MIT LicenseFast and precise tree diffing for concise and safe tree changesets.
Updated -
Updated
-
Software Engineering / 2021 / Team 3 - Tessera
GNU General Public License v3.0 or laterUpdated -
Updated
-
IoT-Lab Uni Trier / SWS2PDDL Converter
GNU General Public License v3.0 onlyUpdated -
Updated
-
Updated
-
Updated
-
Updated
-
Brandl, Katharina / sturdy
BSD 3-Clause "New" or "Revised" LicenseSturdy is a library to create sound abstract interpreters in Haskell.
Updated -
Tobias Leon Hombücher / sturdy
BSD 3-Clause "New" or "Revised" LicenseSturdy is a library to create sound abstract interpreters in Haskell.
Updated -
Sarah Müller / sturdy
BSD 3-Clause "New" or "Revised" LicenseSturdy is a library to create sound abstract interpreters in Haskell.
Updated