Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
repo1.maven.org "overture" keyword
org.overturetool.core.codegen:codegen-runtime 3.0.2
Overture is a community-based project developing the next generation of open-source tools to supp...24 versions - Latest release: over 3 years ago - 5 dependent packages - 1 dependent repositories - 48 stars on GitHub
org.overturetool.tools:tools 2.1.0
Overture is a community-based project developing the next generation of open-source tools to supp...4 versions - Latest release: almost 10 years ago - 48 stars on GitHub
org.overturetool.core.modelcheckers:probsolver 2.3.0
Overture is a community-based project developing the next generation of open-source tools to supp...11 versions - Latest release: over 8 years ago - 1 dependent package - 1 dependent repositories - 48 stars on GitHub
org.overturetool.core:prettyprinting 3.0.2
Overture is a community-based project developing the next generation of open-source tools to supp...32 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.core.codegen:ir 3.0.2
Overture is a community-based project developing the next generation of open-source tools to supp...24 versions - Latest release: over 3 years ago - 2 dependent packages - 2 dependent repositories - 48 stars on GitHub
org.overturetool.ide:org.overture.ide.platform 3.0.2
Super POM for all IDE (Eclipse) artifacts.18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.developerutils 3.0.2
Providing GUI for all integrated core plugins18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.ide:org.overture.ide.builders 3.0.2
Top level for all builders in the Overture IDE18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool:root 3.0.2
Overture is a community-based project developing the next generation of open-source tools to supp...32 versions - Latest release: over 3 years ago - 1 dependent repositories - 48 stars on GitHub
org.overturetool.core:codegen-runtime 2.2.2
Overture is a community-based project developing the next generation of open-source tools to supp...7 versions - Latest release: about 9 years ago - 1 dependent package - 48 stars on GitHub
org.overturetool.ide.plugins:org.overture.ide.plugins.poviewer 3.0.2
Providing GUI for all integrated core plugins18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.core.combinatorialtesting:ctutils 3.0.2
Overture is a community-based project developing the next generation of open-source tools to supp...32 versions - Latest release: over 3 years ago - 1 dependent package - 1 dependent repositories - 48 stars on GitHub
org.overturetool.core.annotations:examples 3.0.2
Overture is a community-based project developing the next generation of open-source tools to supp...5 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.core:typechecker 3.0.2
Overture is a community-based project developing the next generation of open-source tools to supp...32 versions - Latest release: over 3 years ago - 7 dependent packages - 4 dependent repositories - 48 stars on GitHub
org.overturetool.ide:org.overture.ide.help 3.0.2
Super POM for all IDE (Eclipse) artifacts.18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.ide.parsers:org.overture.ide.parsers.vdmj 3.0.2
Top level for all parsers in the Overture IDE18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.ide:org.overture.ide.debug 3.0.2
Super POM for all IDE (Eclipse) artifacts.18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.uml2 3.0.2
Providing GUI for all integrated core plugins18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.core:commandlinetool 3.0.2
Overture is a community-based project developing the next generation of open-source tools to supp...32 versions - Latest release: over 3 years ago - 1 dependent package - 48 stars on GitHub
org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.core 3.0.2
Top level of the Overture IDE for VDM-RT18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.core:vdmjc 2.2.2
Overture is a community-based project developing the next generation of open-source tools to supp...3 versions - Latest release: about 9 years ago - 48 stars on GitHub
org.overturetool.core:pog-string-based 2.0.8
Overture is a community-based project developing the next generation of open-source tools to supp...3 versions - Latest release: about 10 years ago - 1 dependent package - 48 stars on GitHub
org.overturetool.ide.plugins:org.overture.ide.plugins.features 3.0.2
Providing GUI for all integrated core plugins18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.ide.vdmsl:org.overture.ide.vdmsl.core 3.0.2
Top level for the Overture IDE for VDM-SL18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.tools:overturetemplategen 2.1.0
Overture is a community-based project developing the next generation of open-source tools to supp...4 versions - Latest release: almost 10 years ago - 48 stars on GitHub
org.overturetool.core:guibuilder 2.3.0
Overture is a community-based project developing the next generation of open-source tools to supp...11 versions - Latest release: over 8 years ago - 48 stars on GitHub
org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.latex 3.0.2
Providing GUI for all integrated core plugins18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.ide.vdmsl:org.overture.ide.vdmsl.ui 3.0.2
Top level for the Overture IDE for VDM-SL18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.ide:features 3.0.2
Super POM for all IDE (Eclipse) artifacts.18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.core:interpreter 3.0.2
Overture is a community-based project developing the next generation of open-source tools to supp...32 versions - Latest release: over 3 years ago - 14 dependent packages - 2 dependent repositories - 48 stars on GitHub
org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.poviewer 3.0.2
Providing GUI for all integrated core plugins18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.ide.plugins:org.overture.ide.plugins.quickinterpreter 3.0.2
Providing GUI for all integrated core plugins18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.core.codegen:vdm2jml-runtime 3.0.2
Overture is a community-based project developing the next generation of open-source tools to supp...21 versions - Latest release: over 3 years ago - 1 dependent package - 1 dependent repositories - 48 stars on GitHub
org.overturetool.ide.plugins:org.overture.ide.plugins.externaleditor 3.0.2
Providing GUI for all integrated core plugins18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.combinatorialtesting 3.0.2
Providing GUI for all integrated core plugins18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.ide.vdmsl:org.overture.ide.vdmsl.debug 3.0.2
Top level for the Overture IDE for VDM-SL18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.ide:org.overture.ide.vdmrt 3.0.2
Top level of the Overture IDE for VDM-RT18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.core:ast 3.0.2
Overture is a community-based project developing the next generation of open-source tools to supp...32 versions - Latest release: over 3 years ago - 14 dependent packages - 6 dependent repositories - 48 stars on GitHub
org.overturetool.core:isapog 3.0.2
Overture is a community-based project developing the next generation of open-source tools to supp...21 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool:examples 2.2.6
Overture is a community-based project developing the next generation of open-source tools to supp...4 versions - Latest release: almost 9 years ago - 48 stars on GitHub
org.overturetool:documentation 3.0.2
Overture is a community-based project developing the next generation of open-source tools to supp...18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.core.codegen:javagen 3.0.2
Overture is a community-based project developing the next generation of open-source tools to supp...24 versions - Latest release: over 3 years ago - 2 dependent packages - 1 dependent repositories - 48 stars on GitHub
org.overturetool.core:codegen 3.0.2
Overture is a community-based project developing the next generation of open-source tools to supp...31 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.ide:org.overture.ide.ui 3.0.2
Super POM for all IDE (Eclipse) artifacts.18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.ide.features:org.overture.ide.features.rcp 3.0.2
Super POM for all IDE (Eclipse) artifacts.18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.ide.plugins:org.overture.ide.plugins.javagen 3.0.2
Providing GUI for all integrated core plugins18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.core.prettyprinting:prettyprinter 3.0.2
Overture is a community-based project developing the next generation of open-source tools to supp...32 versions - Latest release: over 3 years ago - 1 dependent package - 2 dependent repositories - 48 stars on GitHub
org.overturetool.ide.features:org.overture.ide.features.core 3.0.2
Super POM for all IDE (Eclipse) artifacts.18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool:ide 3.0.2
Super POM for all IDE (Eclipse) artifacts.18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.ide.plugins:org.overture.ide.plugins.rttraceviewer 3.0.2
Graphical tool to display execution trace of a VDM RT model. Enables the user to see thread switc...18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.ide.builders:org.overture.ide.builders.vdmj 3.0.2
Top level for all builders in the Overture IDE18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.core.combinatorialtesting:ctruntime 3.0.2
Overture is a community-based project developing the next generation of open-source tools to supp...32 versions - Latest release: over 3 years ago - 1 dependent package - 1 dependent repositories - 48 stars on GitHub
org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.ui 3.0.2
Top level of the Overture IDE for VDM-RT18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.documentation:releasenotes 3.0.2
Overture is a community-based project developing the next generation of open-source tools to supp...18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.core.modelcheckers:probsolverintegration 2.3.0
Overture is a community-based project developing the next generation of open-source tools to supp...11 versions - Latest release: over 8 years ago - 1 dependent repositories - 47 stars on GitHub
org.overturetool.ide.plugins:org.overture.ide.plugins.developerutils 3.0.2
Developer Utilities for Overture.18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.ide.plugins:org.overture.ide.plugins.combinatorialtesting 3.0.2
Graphical tool which provides a userinterface for the combinatorial testing plugin.18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.core:npp 3.0.2
Overture is a community-based project developing the next generation of open-source tools to supp...28 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.ide:org.overture.ide.parsers 3.0.2
Top level for all parsers in the Overture IDE18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.ide.vdmpp:org.overture.ide.vdmpp.ui 3.0.2
Top level of the Overture IDE for VDM-PP18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.core.codegen:isagen 3.0.2
Overture is a community-based project developing the next generation of open-source tools to supp...21 versions - Latest release: over 3 years ago - 1 dependent package - 1 dependent repositories - 48 stars on GitHub
org.overturetool.ide:org.overture.ide.plugins 3.0.2
Providing GUI for all integrated core plugins18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.ide:org.overture.ide.core 3.0.2
Super POM for all IDE (Eclipse) artifacts.18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.csk 3.0.2
Providing GUI for all integrated core plugins18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.ide.plugins:org.overture.ide.plugins.latex 3.0.2
Providing GUI for all integrated core plugins18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.ide:org.overture.ide.product 3.0.2
Super POM for all IDE (Eclipse) artifacts.18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.core:modelcheckers 2.3.0
Overture is a community-based project developing the next generation of open-source tools to supp...11 versions - Latest release: over 8 years ago - 48 stars on GitHub
org.overturetool:externals 3.0.2
Overture is a community-based project developing the next generation of open-source tools to supp...26 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.core:parser 3.0.2
Overture is a community-based project developing the next generation of open-source tools to supp...32 versions - Latest release: over 3 years ago - 7 dependent packages - 2 dependent repositories - 48 stars on GitHub
org.overturetool.ide.vdmpp:org.overture.ide.vdmpp.debug 3.0.2
Top level of the Overture IDE for VDM-PP18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.ide:org.overture.ide.vdmpp 3.0.2
Top level of the Overture IDE for VDM-PP18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.core:pog 3.0.2
Overture is a community-based project developing the next generation of open-source tools to supp...32 versions - Latest release: over 3 years ago - 3 dependent packages - 1 dependent repositories - 48 stars on GitHub
org.overturetool.core:combinatorialtesting 3.0.2
Overture is a community-based project developing the next generation of open-source tools to supp...32 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.javagen 3.0.2
Providing GUI for all integrated core plugins18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.ide.vdmpp:org.overture.ide.vdmpp.core 3.0.2
Top level of the Overture IDE for VDM-PP18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.ide.plugins:org.overture.ide.plugins.coverageeditor 3.0.2
Providing GUI for all integrated core plugins18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.core.annotations:provided 3.0.2
Overture is a community-based project developing the next generation of open-source tools to supp...5 versions - Latest release: over 3 years ago - 2 dependent packages - 48 stars on GitHub
org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.coverageeditor 3.0.2
Providing GUI for all integrated core plugins18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.ide.plugins:org.overture.ide.plugins.uml2 3.0.2
Providing GUI for all integrated core plugins18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.debug 3.0.2
Top level of the Overture IDE for VDM-RT18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.quickinterpreter 3.0.2
Providing GUI for all integrated core plugins18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.core.codegen:javagen-test 3.0.2
Overture is a community-based project developing the next generation of open-source tools to supp...21 versions - Latest release: over 3 years ago - 2 dependent packages - 1 dependent repositories - 48 stars on GitHub
org.overturetool.core.codegen:codegen-plugin 3.0.2
Overture is a community-based project developing the next generation of open-source tools to supp...24 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.rttraceviewer 3.0.2
Providing GUI for all integrated core plugins18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.ide.plugins:org.overture.ide.plugins.csk 3.0.2
Providing GUI for all integrated core plugins18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.core.codegen:platform 3.0.2
Overture is a community-based project developing the next generation of open-source tools to supp...24 versions - Latest release: over 3 years ago - 3 dependent packages - 2 dependent repositories - 48 stars on GitHub
org.overturetool.core:testframework 3.0.2
Overture is a community-based project developing the next generation of open-source tools to supp...32 versions - Latest release: over 3 years ago - 10 dependent packages - 2 dependent repositories - 48 stars on GitHub
org.overturetool:core 3.0.2
Overture is a community-based project developing the next generation of open-source tools to supp...32 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.ide:org.overture.ide.vdmsl 3.0.2
Top level for the Overture IDE for VDM-SL18 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.core:annotations 3.0.2
Overture is a community-based project developing the next generation of open-source tools to supp...5 versions - Latest release: over 3 years ago - 48 stars on GitHub
org.overturetool.core.codegen:vdm2jml 3.0.2
Overture is a community-based project developing the next generation of open-source tools to supp...24 versions - Latest release: over 3 years ago - 1 dependent repositories - 48 stars on GitHub
Related Keywords