All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Download JAR files tagged by well with all dependencies

Search JAR files by class name

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 
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!

examples from group dk.au.ece.vdmj (version 4.5.0-P)

Group: dk.au.ece.vdmj Artifact: examples
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!

stdlib from group dk.au.ece.vdmj (version 4.5.0-P)

Group: dk.au.ece.vdmj Artifact: stdlib
Show all versions Show documentation Show source 
 

0 downloads
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!

vdmj from group dk.au.ece.vdmj (version 4.5.0-P)

Group: dk.au.ece.vdmj Artifact: vdmj
Show all versions Show documentation Show source 
 

0 downloads
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!

dbgpc from group dk.au.ece.vdmj (version 4.5.0-P)

Group: dk.au.ece.vdmj Artifact: dbgpc
Show all versions Show documentation Show source 
 

0 downloads
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!

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.

Group: org.jaxdb Artifact: jsql
Show all versions Show documentation Show source 
 

0 downloads
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!

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.

Group: com.ionoscloud Artifact: ionos-cloud-sdk
Show all versions Show documentation Show source 
 

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!

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.

Group: io.zeko Artifact: zeko-validator
Show all versions Show documentation Show source 
 

0 downloads
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!

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 
 

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!

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 
 

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!



Page 164 from 3 (items total 2142)


© 2015 - 2024 Weber Informatics LLC | Privacy Policy