GitHub repository: DerYeger/apollo-admin
Primary language: Vue
Description: A web application for first-order model checking in graph structures.