Download JAR files tagged by user with all dependencies

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

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

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!

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

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

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!

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!

relogiclabs-jschema from group com.relogiclabs.json (version 2.0.0)

JSchema, a new JSON Schema, prioritizes simplicity, conciseness, and readability, ensuring user-friendliness and accessibility without requiring extensive prior knowledge. It offers efficient read-write capabilities, precise JSON document definition through various data types and functions, and extensibility to address the diverse requirements of modern web services.

Group: com.relogiclabs.json Artifact: relogiclabs-jschema
Show documentation Show source

0 downloads

Artifact relogiclabs-jschema
Group com.relogiclabs.json
Version 2.0.0
Last update 23. February 2024
Organization Relogic Labs
URL https://www.relogiclabs.com/p/jschema.html
License GNU Affero General Public License
Dependencies amount 2
Dependencies antlr4-runtime, commons-lang3,
There are maybe transitive dependencies!

unified-feed-sdk from group com.sportradar.unifiedodds.sdk (version 3.1.0)

UnifiedFeed SDK is a client library that enables easier integration with the Betradar XML feeds. SDK exposes XML feed service interface in a more user-friendly way and isolates the client from having to do XML feed parsing, proper connection handling, error recovery, event queuing, data caching and dispatching. It also makes a client solution more stable and robust when it comes to feed handling, especially with the release of new and updated XML feed versions.

Group: com.sportradar.unifiedodds.sdk Artifact: unified-feed-sdk
Show all versions Show documentation Show source

0 downloads

Artifact unified-feed-sdk
Group com.sportradar.unifiedodds.sdk
Version 3.1.0
Last update 19. February 2024
Organization not specified
URL http://sdk.sportradar.com/unifiedfeed/java2
License SDK licence
Dependencies amount 9
Dependencies opentelemetry-api, amqp-client, guava, httpclient5, guice, icu4j, snakeyaml, slf4j-api, jakarta.xml.bind-api,
There are maybe transitive dependencies!

Page 265 from 288 (items total 2878)