GitHub repository: KnowledgeGarden/java-unidu-pire
Primary language: Java
Description: Pire, Distributed Datalog, HySpirit, DDatalog