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