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: 1

License: bsd-3-clause
Language: Kotlin
Repo Size: 5.18 MB
Dependencies: 41

Created: over 3 years ago
Updated: about 19 hours ago
Last pushed: about 20 hours ago
Last synced: about 19 hours ago

Topics: first-order-logic, graph, hacktoberfest, kotlin, ktor, modelchecking

Funding links: https://github.com/sponsors/DerYeger

Files
    Loading...
    Readme
    Loading...
    Dependencies
    Dockerfile docker