Explore projects
-
Abstract Machine for Bottom-Up Evaluation in Deductive Databases with the Push Method
Updated -
-
Fragebogengenerator im Zuge des Projektpraktikum 2019
Updated -
Updated
-
A local fork of eli adding support for C++ compilation, a DSL on top of lido and fixing some TP errors
Updated -
-
Updated
-
Updated
-
Updated
-
Fragebogengenerator im Zuge des Projektpraktikum 2019
Updated