Download JAR files tagged by well with all 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!
jsql from group org.jaxdb (version 0.6.0)
jSQL is an extension to DDLx, offering a lightweight ORM (Object Relational Mapping) solution
that runs on the JDBC v4.3 API. The jSQL framework provides strongly-typed semantics for the
SQL language, as well as a cohesive binding to user data models. jSQL uses a SQL schema defined
in a DDLx file to create a one-to-one, Object-Model-to-Data-Model API that is vendor agnostic.
Artifact jsql
Group org.jaxdb
Version 0.6.0
Last update 27. February 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 5
Dependencies sql, json, binarytree, sqlx, ddlx,
There are maybe transitive dependencies!
Group org.jaxdb
Version 0.6.0
Last update 27. February 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 5
Dependencies sql, json, binarytree, sqlx, ddlx,
There are maybe transitive dependencies!
ionos-cloud-sdk from group com.ionoscloud (version 6.1.7)
The API allows you to perform a variety of management tasks such as spinning up additional servers, adding volumes, adjusting networking, and so forth. It is designed to allow users to leverage the same power and flexibility found within the DCD visual tool. Both tools are consistent with their concepts and lend well to making the experience smooth and intuitive.
0 downloads
Artifact ionos-cloud-sdk
Group com.ionoscloud
Version 6.1.7
Last update 01. February 2024
Organization not specified
URL https://github.com/ionos-cloud/sdk-java
License Unlicense
Dependencies amount 13
Dependencies swagger-annotations, jsr305, okhttp, logging-interceptor, gson, gson-fire, commons-lang3, jsr311-api, javax.ws.rs-api, jackson-datatype-jsr310, threetenbp, javax.annotation-api, jackson-databind-nullable,
There are maybe transitive dependencies!
Group com.ionoscloud
Version 6.1.7
Last update 01. February 2024
Organization not specified
URL https://github.com/ionos-cloud/sdk-java
License Unlicense
Dependencies amount 13
Dependencies swagger-annotations, jsr305, okhttp, logging-interceptor, gson, gson-fire, commons-lang3, jsr311-api, javax.ws.rs-api, jackson-datatype-jsr310, threetenbp, javax.annotation-api, jackson-databind-nullable,
There are maybe transitive dependencies!
zeko-validator from group io.zeko (version 1.1.5)
A Java validation library by providing a fluent API and abstracting away the conditional constructs of the language.
This is consider a rewrite base on validly to focus on validating raw string inputs from HTTP request with more than 100 preset validation rules.
The library had been used in various Kotlin based project as well.
Artifact zeko-validator
Group io.zeko
Version 1.1.5
Last update 12. October 2023
Organization not specified
URL https://github.com/darkredz/Zeko-Validator
License Apache License, Version 2.0
Dependencies amount 2
Dependencies commons-validator, commons-lang3,
There are maybe transitive dependencies!
Group io.zeko
Version 1.1.5
Last update 12. October 2023
Organization not specified
URL https://github.com/darkredz/Zeko-Validator
License Apache License, Version 2.0
Dependencies amount 2
Dependencies commons-validator, commons-lang3,
There are maybe transitive dependencies!
interactive-bin-packing from group org.cicirello (version 3.1.5)
The Interactive Bin Packing Application provides
a self-guided tutorial on combinatorial optimization, the bin
packing problem, and constructive heuristics for bin packing.
It also enables the user to interact with bin packing instances
to explore their own problem solving strategies, or to test their
knowledge of the various constructive heuristics covered by the
tutorial. The application is not a solver for bin packing. The
Interactive Bin Packing Application is a tool for learning about
the bin packing problem, as well as for learning about heuristic
techniques for solving instances of the problem.
Group: org.cicirello Artifact: interactive-bin-packing
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact interactive-bin-packing
Group org.cicirello
Version 3.1.5
Last update 07. August 2023
Organization Cicirello.Org
URL https://github.com/cicirello/InteractiveBinPacking
License GPL-3.0-or-later
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group org.cicirello
Version 3.1.5
Last update 07. August 2023
Organization Cicirello.Org
URL https://github.com/cicirello/InteractiveBinPacking
License GPL-3.0-or-later
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
3rdparty-privacy-proxy from group de.tk.opensource (version 1.2.0)
TK 3rd Party Privacy Proxy.
Delivers functionality to securely fetch and provide 3rd Party resources as well as proxying requests
back to the 3rd Party Provider. The users of your website will remain private against any 3rd Party Provider
you use without losing any functionality on your end. Further more this privacy proxy delivers you the
ultimate knowledge about what information is being transferred to any 3rd Party Provider
as well as independence from their servers.
Group: de.tk.opensource Artifact: 3rdparty-privacy-proxy
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact 3rdparty-privacy-proxy
Group de.tk.opensource
Version 1.2.0
Last update 04. August 2023
Organization not specified
URL Not specified
License GNU General Public License Version 3.0
Dependencies amount 6
Dependencies spring-boot-starter-web, spring-boot-starter-aop, spring-retry, spring-boot-starter-actuator, commons-io, httpclient5,
There are maybe transitive dependencies!
Group de.tk.opensource
Version 1.2.0
Last update 04. August 2023
Organization not specified
URL Not specified
License GNU General Public License Version 3.0
Dependencies amount 6
Dependencies spring-boot-starter-web, spring-boot-starter-aop, spring-retry, spring-boot-starter-actuator, commons-io, httpclient5,
There are maybe transitive dependencies!
Page 164 from 3 (items total 2142)