Explore projects
-
-
Updated
-
-
mu / mu-client-ghc-api
Apache License 2.0Updated -
Updated
-
Pascal Bercher / IPC2020-competitor-1
GNU General Public License v3.0 or laterrepository number 1: LiloTane by Dominik Schreiber
Updated -
-
Updated
-
repository number 2: SIADEX by Juan Fernandez-Olivares and Ignacio Vellido Exposito
Updated -
LaTeX templates for:
presentations lecture slides research project reports (like Bachelor, Master, or PhD theses, but also much smaller ones)Created by Pascal Bercher (credit appreciated), though some parts may have contributions by others.
Updated -
repository 4: HyperTensioN by Mauricio Cecilio Magnaguagno, Felipe Meneguzzi, and Lavindra de Silva
Updated -
-
Updated
-
repository 5: PDDL4J-TO by Damien Pellier and Humbert Fiorino
Updated -
Updated
-
repository 6: PDDL4J-PO by Damien Pellier and Humbert Fiorino
Updated -
Saffron Bannister / mu-impl-ref2
Creative Commons Attribution Share Alike 4.0 InternationalHolstein: the Mu reference implementation (the 2nd version).
Updated