Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / gertvv / oops
Object Oriented Prover for S5n
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/gertvv%2Foops
Stars: 12
Forks: 5
Open Issues: 1
License: gpl-2.0
Language: Java
Repo Size: 1020 KB
Dependencies:
7
Created: about 15 years ago
Updated: over 1 year ago
Last pushed: over 3 years ago
Last synced: about 1 year ago
Files
Loading...
Readme
Loading...
Dependencies
application/pom.xml
maven
- com.fifesoft:rsyntaxtextarea 2.5.0
- javax.help:javahelp 2.0.05
- jgraph:jgraph 5.8.3.1
- nl.rug.ai.mas:oops-parser 0.6
- org.jgrapht:jgrapht-jdk1.5 0.7.3
- org.luaj:luaj-j2se 1.0.5
- junit:junit 4.6 test