MavenLibs
Search
Home
Maven
Group
org.overturetool.ide.vdmrt
Group: org.overturetool.ide.vdmrt - All Dependencies
org.overture.ide.vdmrt.ui
3.0.2
@org.overturetool.ide.vdmrt
Nov 10, 2020
44 stars
org.overture.ide.vdmrt.debug
3.0.2
@org.overturetool.ide.vdmrt
Nov 10, 2020
44 stars
org.overture.ide.vdmrt.core
3.0.2
@org.overturetool.ide.vdmrt
Nov 10, 2020
44 stars
Advertisement
Top Dependency Usages
junit
@junit
Feb 13, 2021
95.1k usages
8.5k stars
scala-library
@org.scala-lang
Jun 02, 2023
69.4k usages
14.3k stars
slf4j-api
@org.slf4j
Mar 17, 2023
51k usages
2.1k stars
guava
@com.google.guava
Jul 31, 2023
27.1k usages
50.1k stars
logback-classic
@ch.qos.logback
Aug 09, 2023
25k usages
2.7k stars
More Dependencies ❯