Download JAR files tagged by written with all dependencies
lspplugin from group dk.au.ece.vdmj (version 4.5.0-P)
0 downloads
Artifact lspplugin
Group dk.au.ece.vdmj
Version 4.5.0-P
Last update 28. February 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies lsp,
There are maybe transitive dependencies!
Group dk.au.ece.vdmj
Version 4.5.0-P
Last update 28. February 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies lsp,
There are maybe transitive dependencies!
vdmjunit from group dk.au.ece.vdmj (version 4.5.0-P)
0 downloads
Artifact vdmjunit
Group dk.au.ece.vdmj
Version 4.5.0-P
Last update 28. February 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 2
Dependencies junit, vdmj,
There are maybe transitive dependencies!
Group dk.au.ece.vdmj
Version 4.5.0-P
Last update 28. February 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 2
Dependencies junit, vdmj,
There are maybe transitive dependencies!
vdmj-suite from group dk.au.ece.vdmj (version 4.5.0-P)
VDMJ provides basic tool support for the VDM-SL, VDM++ and VDM-RT specification languages, written in
Java. It includes a parser, a type checker, an interpreter (with arbitrary precision arithmetic), a debugger, a
proof obligation generator and a combinatorial test generator with coverage recording, as well as JUnit support
for automatic testing and user definable annotations.
Group: dk.au.ece.vdmj Artifact: vdmj-suite
Show all versions
Show all versions
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact vdmj-suite
Group dk.au.ece.vdmj
Version 4.5.0-P
Last update 28. February 2024
Organization not specified
URL https://github.com/nickbattle/vdmj
License GPL-3.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group dk.au.ece.vdmj
Version 4.5.0-P
Last update 28. February 2024
Organization not specified
URL https://github.com/nickbattle/vdmj
License GPL-3.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
examples from group dk.au.ece.vdmj (version 4.5.0-P)
Group: dk.au.ece.vdmj Artifact: examples
Show all versions
Show all versions
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact examples
Group dk.au.ece.vdmj
Version 4.5.0-P
Last update 28. February 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group dk.au.ece.vdmj
Version 4.5.0-P
Last update 28. February 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
stdlib from group dk.au.ece.vdmj (version 4.5.0-P)
Artifact stdlib
Group dk.au.ece.vdmj
Version 4.5.0-P
Last update 28. February 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies vdmj,
There are maybe transitive dependencies!
Group dk.au.ece.vdmj
Version 4.5.0-P
Last update 28. February 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies vdmj,
There are maybe transitive dependencies!
vdmj from group dk.au.ece.vdmj (version 4.5.0-P)
Artifact vdmj
Group dk.au.ece.vdmj
Version 4.5.0-P
Last update 28. February 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 2
Dependencies junit, apfloat,
There are maybe transitive dependencies!
Group dk.au.ece.vdmj
Version 4.5.0-P
Last update 28. February 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 2
Dependencies junit, apfloat,
There are maybe transitive dependencies!
dbgpc from group dk.au.ece.vdmj (version 4.5.0-P)
Artifact dbgpc
Group dk.au.ece.vdmj
Version 4.5.0-P
Last update 28. February 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies junit,
There are maybe transitive dependencies!
Group dk.au.ece.vdmj
Version 4.5.0-P
Last update 28. February 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies junit,
There are maybe transitive dependencies!
OpenNetLib from group dev.bitbite (version 2.0.2)
OpenNetLib is a lightweight, easy-to-use library to simplify socket communication. It is written in and for Java. It's still in an early stage but saves a lot of time already. Start using OpenNetLib today or help improving it by posting issues, questions and feature requests here: https://github.com/bitbitedev/OpenNetLib/issues
Artifact OpenNetLib
Group dev.bitbite
Version 2.0.2
Last update 12. February 2024
Organization not specified
URL https://github.com/bitbitedev/OpenNetLib
License MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group dev.bitbite
Version 2.0.2
Last update 12. February 2024
Organization not specified
URL https://github.com/bitbitedev/OpenNetLib
License MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
hilla-gradle-plugin from group dev.hilla (version 24.1.15)
This maven module act as a proxy to test, build, and release the hilla gradle plugin,
which is written in Kotlin and is built by gradle natively. This makes development
and testing of the gradle plugin much easier against the changes of flow, especially
the engine-core. However, publishing the hilla-gradle-plugin to gradle plugin
central repo is done within platform final releases.
0 downloads
Artifact hilla-gradle-plugin
Group dev.hilla
Version 24.1.15
Last update 29. November 2023
Organization not specified
URL Not specified
License Apache License Version 2.0
Dependencies amount 3
Dependencies plugin-base, engine-core, flow-gradle-plugin,
There are maybe transitive dependencies!
Group dev.hilla
Version 24.1.15
Last update 29. November 2023
Organization not specified
URL Not specified
License Apache License Version 2.0
Dependencies amount 3
Dependencies plugin-base, engine-core, flow-gradle-plugin,
There are maybe transitive dependencies!
ziplet from group com.faendir.ziplet (version 2.5.2)
This filter can, based on HTTP headers in a HttpServletRequest, compress data written to the
HttpServletResponse, or decompress data read from the request. When supported by the client browser,
this can potentially greatly reduce the number of bytes written across the network from and to the client.
As a Filter, this class can also be easily added to any J2EE 1.3+ web application.
0 downloads
Artifact ziplet
Group com.faendir.ziplet
Version 2.5.2
Last update 07. October 2023
Organization not specified
URL https://github.com/f43nd1r/ziplet
License The Apache Software License, Version 2.0
Dependencies amount 1
Dependencies slf4j-api,
There are maybe transitive dependencies!
Group com.faendir.ziplet
Version 2.5.2
Last update 07. October 2023
Organization not specified
URL https://github.com/f43nd1r/ziplet
License The Apache Software License, Version 2.0
Dependencies amount 1
Dependencies slf4j-api,
There are maybe transitive dependencies!
Page 227 from 3 (items total 2584)