Explore projects
-
Izunagbara, Michal Ikenna / inca-scala
MIT LicenseUpdated -
-
Dieser Calculator dient nur als Unterstützung der Übung im Software Engineering SS 2021.
Updated -
PLMZ / External / viatra
Eclipse Public License 2.0Updated -
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 -
Dieser Calculator dient nur als Unterstützung der Übung im Software Engineering SS 2021.
Updated -
Updated
-
Brandl, Katharina / sturdy
BSD 3-Clause "New" or "Revised" LicenseSturdy is a library to create sound abstract interpreters in Haskell.
Updated -
Updated
-
Tobias Leon Hombücher / sturdy
BSD 3-Clause "New" or "Revised" LicenseSturdy is a library to create sound abstract interpreters in Haskell.
Updated -
Updated
-
Dieser Calculator dient nur als Unterstützung der Übung im Software Engineering SS 2021.
Updated -
Samian Research goes Linked Open Data > https://wissit.pages.gitlab.rlp.net/samian-lod
Updated -
ProCAKE / ProCAKE Framework
GNU General Public License v3.0 onlyProcess-Oriented Case-Based Knowledge Engine (ProCAKE) is a domain-independent framework that can be used to implement diverse structural or process-oriented case-based reasoning applications for integrated process and knowledge management. The ProCAKE framework is written in Java and available under GPL3.
Updated -
Updated