Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / proof-ninja / BIRDS
Bidirectional transformation for Relational view update Datalog-based Strategies
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/proof-ninja%2FBIRDS
Fork of dangtv/BIRDS
Stars: 1
Forks: 2
Open Issues: 4
License: lgpl-2.1
Language: OCaml
Repo Size: 5.17 MB
Dependencies:
5
Created: over 3 years ago
Updated: 8 days ago
Last pushed: 8 days ago
Last synced: 8 days ago
Files
Loading...
Readme
Loading...
Dependencies
Dockerfile
docker
- ubuntu 16.04 build
docker/alpine/Dockerfile
docker
.github/workflows/workflow.yml
actions
- actions/checkout v3 composite
- ocaml/setup-ocaml v2 composite