Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / wadoon / klojery
Key+Clojure = KlojErY
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/wadoon%2Fklojery
Stars: 0
Forks: 0
Open Issues: 0
License: epl-1.0
Language: Java
Repo Size: 12.2 MB
Dependencies:
10
Created: over 8 years ago
Updated: 19 days ago
Last pushed: over 8 years ago
Last synced: 19 days ago
Files
Loading...
Readme
Loading...
Dependencies
project.clj
clojars
- org.clojure/clojure 1.7.0
- org.key-project/antlr 2.5
- org.key-project/key.core 2.5
- org.key-project/key.core.proof_references 2.5
- org.key-project/key.core.symbolic_execution 2.5
- org.key-project/key.removegenerics 2.5
- org.key-project/key.ui 2.5
- org.key-project/key.util 2.5
- org.key-project/recoderKey 2.5
- reply 0.3.7