Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
repo1.maven.org : org.overturetool.ide.plugins:org.overture.ide.plugins.poviewer
Providing GUI for all integrated core plugins
Registry
-
Source
- Homepage
- Documentation
- JSON
purl: pkg:maven/org.overturetool.ide.plugins/org.overture.ide.plugins.poviewer
Keywords: code-generation, eclipse, formal-methods, ide, java, overture, vdm, vdm-sl, vdmpp, vdmrt
License: GPL-2.0
Latest release: over 3 years ago
First release: almost 8 years ago
Namespace: org.overturetool.ide.plugins
Stars: 48 on GitHub
Forks: 26 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 4 days ago