Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / DerYeger / apollo-backend
A web application for first-order model checking in graph structures.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/DerYeger%2Fapollo-backend
Stars: 3
Forks: 1
Open Issues: 2
License: bsd-3-clause
Language: Kotlin
Repo Size: 5.18 MB
Dependencies:
0
Created: over 3 years ago
Updated: 1 day ago
Last pushed: 1 day ago
Last synced: 1 day ago
Topics: first-order-logic, graph, hacktoberfest, kotlin, ktor, modelchecking
Funding links: https://github.com/sponsors/DerYeger
Files
No dependencies found