Explore projects

Code und Unterlagen für das "Kryptologische Programmierpraktikum" am FB Informatik der Hochschule Trier

This project illustrates how to use the ProCAKE framework and its extensions using sample domains.

Fast and precise tree diffing for concise and safe tree changesets.

Sturdy is a library to create sound abstract interpreters in Haskell.

A Graphical User Interface for the ProCAKE Framework

Process-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.