Download JAR files tagged by automatic 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!

invest-api-java-sdk-starter from group io.github.dankosik (version 1.6.0-RC1)

Starter for RussianInvestments/invest-api-java-sdk is a convenient tool that allows you to quickly and easily integrate RussianInvestments/invest-api-java-sdk for accessing market data and trading into your Spring Boot applications. This starter provides easy configuration and automatic setup, allowing you to focus on developing functionality instead of spending time on setting up the integration with RussianInvestments/invest-api-java-sdk.

Group: io.github.dankosik Artifact: invest-api-java-sdk-starter
Show all versions Show documentation

There is no JAR file uploaded. A download is not possible! Please choose another version.

0 downloads

Artifact invest-api-java-sdk-starter
Group io.github.dankosik
Version 1.6.0-RC1
Last update 08. January 2024
Organization not specified
URL https://github.com/Dankosik/invest-api-java-sdk-starter
License The Apache License, Version 2.0
Dependencies amount 5
Dependencies kotlinx-coroutines-reactor, kotlinx-coroutines-core-jvm, reactor-kotlin-extensions, java-sdk-core, kotlin-stdlib,
There are maybe transitive dependencies!

ares-boot-starter-datasource from group io.github.aresxue.boot (version 1.0.2)

数据库快速使用，底层为jpa/mybatis plus，可自动从配置中心获取数据库连接信息，同时封装基础领域对象和通用字段 (主键、创建时间、修改时间、逻辑删除)及其自动处理（自动注入分布式id） Database use quickly, the bottom layer is mybatis plus, can automatically obtain the database connection information from the configuration center, and encapsulate the basic domain object and general fields (primary key, creation time, modification time, logical deletion) and its automatic processing (automatic injection of distributed ids)

Group: io.github.aresxue.boot Artifact: ares-boot-starter-datasource
Show all versions

0 downloads

Artifact ares-boot-starter-datasource
Group io.github.aresxue.boot
Version 1.0.2
Last update 05. January 2024
Organization not specified
URL Not specified
License Apache License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

ares-boot-starter-datasource-related from group io.github.aresxue.boot (version 1.0.2)

数据库相关，底层为mybatis plus，可自动从配置中心获取数据库连接信息，同时封装基础DO和通用字段 (主键、创建时间、修改时间、逻辑删除)及其自动处理（自动注入分布式id），业务中不需关心，以及可选的客户端分库分表和动态数据源方案 Database related, the bottom layer is mybatis plus, can automatically obtain the database connection information from the configuration center, and encapsulate the basic DO and common fields (primary key, creation time, modification time, logical deletion) and its automatic processing (automatic injection of distributed id), business no concern, and optional client sub-database sub-table and dynamic data source solutions

Group: io.github.aresxue.boot Artifact: ares-boot-starter-datasource-related
Show all versions

There is no JAR file uploaded. A download is not possible! Please choose another version.

0 downloads

Artifact ares-boot-starter-datasource-related
Group io.github.aresxue.boot
Version 1.0.2
Last update 05. January 2024
Organization not specified
URL Not specified
License Apache License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

Page 87 from 95 (items total 947)