idp

Model expansion engine for FO(·) with back-end ASP solver Clingo.

This bot synchronises Keycloak groups with Discord roles in the fastest and most minimal way possible.

A Mixer provider for league/oauth2-client

IDP lab course (Campus De Nayer, KU Leuven), part of Artificial Intelligence course by Joost Vennekens