Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / cyphercert / opencypher-coq

A Coq formalizaton of "Formalizing openCypher Graph Queries in Relational Algebra" [Marton-al:ADBIS17]

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/cyphercert%2Fopencypher-coq

Stars: 3
Forks: 0
Open Issues: 0

License: None
Language: Coq
Repo Size: 1.13 MB
Dependencies: 4

Created: about 3 years ago
Updated: 7 months ago
Last pushed: 10 months ago
Last synced: 5 months ago

Topics: coq, cypher, cypher-query-language

Files
    Loading...
    Readme
    Loading...
    Dependencies
    .github/workflows/docker-action.yml actions