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.vdmpp:org.overture.ide.vdmpp.ui
Top level of the Overture IDE for VDM-PP
Registry
-
Source
- Homepage
- Documentation
- JSON
purl: pkg:maven/org.overturetool.ide.vdmpp/org.overture.ide.vdmpp.ui
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.vdmpp
Stars: 48 on GitHub
Forks: 26 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 6 days ago