Ecosyste.ms: Repos

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

GitHub / kaiyuanw / ARepair

A Repair Framework for Alloy

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kaiyuanw%2FARepair

Stars: 5
Forks: 3
Open Issues: 5

License: mit
Language: Java
Repo Size: 9.81 MB
Dependencies: 4

Created: almost 6 years ago
Updated: almost 2 years ago
Last pushed: almost 2 years ago
Last synced: about 1 year ago

Topics: alloy, bash, java, maven, repair, sat-solver

Files
    Loading...
    Readme
    Loading...
    Dependencies
    pom.xml maven