Download JAR files tagged by https with all dependencies

learnlib-procedural from group de.learnlib (version 0.17.0)

This artifact provides the implementations of various learning algorithms for systems of procedural automata such as the ones described in the papers "Compositional learning of mutually recursive procedural systems (https://doi.org/10.1007/s10009-021-00634-y) and "From Languages to Behaviors and Back" (https://doi.org/10.1007/978-3-031-15629-8_11) by Markus Frohme and Bernhard Steffen.

Group: de.learnlib Artifact: learnlib-procedural
Show documentation Show source

0 downloads

Artifact learnlib-procedural
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 19
Dependencies learnlib-api, learnlib-counterexamples, learnlib-datastructure-ot, learnlib-kearns-vazirani, learnlib-lstar, learnlib-observation-pack, learnlib-oml, learnlib-ttt, learnlib-util, guava, automata-api, automata-commons-util, automata-core, automata-util, buildergen, checker-qual, learnlib-learner-it-support, learnlib-learning-examples, testng,
There are maybe transitive dependencies!

automata-modelchecking-ltsmin from group net.automatalib (version 0.11.0)

This artifact provides the integration of the model checker "LTSmin" (https://ltsmin.utwente.nl/) as described in the paper "Sound Black-Box Checking in the LearnLib" (https://dx.doi.org/10.1007/s11334-019-00342-6) by Jeroen Meijer and Jaco van de Pol. Note that this implementation requires a local installation of the LTSmin binaries (see https://ltsmin.utwente.nl/) which are not explicitly included in this artifact due to packaging reasons.

Group: net.automatalib Artifact: automata-modelchecking-ltsmin
Show all versions Show documentation Show source

0 downloads

Artifact automata-modelchecking-ltsmin
Group net.automatalib
Version 0.11.0
Last update 06. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 11
Dependencies automata-api, automata-commons-util, automata-core, automata-serialization-etf, automata-serialization-fsm, automata-util, guava, slf4j-api, buildergen, checker-qual, testng,
There are maybe transitive dependencies!

sis-epsg from group org.apache.sis.non-free (version 1.4)

The EPSG geodetic dataset provides definitions for thousands of Coordinate Reference Systems (CRS), together with parameter values for thousands of Coordinate Operations between various pairs of CRS. This 'sis-epsg' module contains the SQL scripts for creating a local copy of EPSG geodetic dataset. EPSG is maintained by the IOGP Surveying & Positioning Committee and reproduced in this module with same content. See https://www.epsg.org/ for more information.

Group: org.apache.sis.non-free Artifact: sis-epsg
Show all versions Show documentation

5 downloads

Artifact sis-epsg
Group org.apache.sis.non-free
Version 1.4
Last update 06. October 2023
Organization not specified
URL https://www.epsg.org/
License EPSG terms of use
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

properties-maven-plugin from group org.infrastructurebuilder.maven (version 1.2.1.0-ib)

The Properties Maven Plugin is here to make life a little easier when dealing with properties. It provides goals to read and write properties from files. This was forked from the original properties-maven-plugin to fix issue mojohaus/properties-maven-plugin#30. For RELEASED IB Versions prior to 1.2.0.1, see [the original forked repo](https://github.com/infrastructurebuilder/archived-properties-maven-plugin) Note that the IB version might be released ahead or behind the mojohaus version.

Group: org.infrastructurebuilder.maven Artifact: properties-maven-plugin
Show all versions Show documentation

0 downloads

Artifact properties-maven-plugin
Group org.infrastructurebuilder.maven
Version 1.2.1.0-ib
Last update 20. September 2023
Organization not specified
URL https://www.mojohaus.org/properties-maven-plugin
License The Apache Software License, Version 2.0
Dependencies amount 6
Dependencies plexus-utils, plexus-sec-dispatcher, json, json-flattener, aws-java-sdk, tomlj,
There are maybe transitive dependencies!

LogsJB from group io.github.josecarlosbran (version 0.6.4)

LogsJB es una librería java que permite la gestión de registros de un programa en paralelo a la ejecución del programa, lo cual la hace una potente herramienta para programas empresariales y personales que exigen grandes niveles de rendimiento. Para mayor información, consultar el siguiente enlace https://github.com/JoseCarlosBran/LogsJB/blob/master/Readme.md

Group: io.github.josecarlosbran Artifact: LogsJB
Show all versions Show documentation Show source

0 downloads

Artifact LogsJB
Group io.github.josecarlosbran
Version 0.6.4
Last update 29. August 2023
Organization not specified
URL https://github.com/JoseCarlosBran/LogsJB/blob/master/Readme.md
License The Apache License, Version 2.0
Dependencies amount 6
Dependencies LogsJBSupport, JBSqlUtils, sqlite-jdbc, JBRestAPI, lombok, commons-lang3,
There are maybe transitive dependencies!

JBRestAPI from group io.github.josecarlosbran (version 0.2.3)

JBRestAPI es una librería java que permite el consumo de un RestAPI en segundo plano, lo cual evita la interrupción del hilo principal, lo cual la hace una librería útil para aplicaciones android como para programas que desean tener un mejor rendimiento de manera fácil. Para mayor información, consultar el siguiente enlace https://github.com/JoseCarlosBran/JBRestAPI/blob/master/Readme.md

Group: io.github.josecarlosbran Artifact: JBRestAPI
Show all versions Show documentation Show source

0 downloads

Artifact JBRestAPI
Group io.github.josecarlosbran
Version 0.2.3
Last update 29. August 2023
Organization not specified
URL https://github.com/JoseCarlosBran/JBRestAPI/blob/master/Readme.md
License The Apache License, Version 2.0
Dependencies amount 8
Dependencies LogsJBSupport, jakarta.ws.rs-api, jersey-client, jersey-hk2, jakarta.activation-api, jersey-media-moxy, jersey-media-jaxb, lombok,
There are maybe transitive dependencies!

LogsJBSupport from group io.github.josecarlosbran (version 0.5.6)

Group: io.github.josecarlosbran Artifact: LogsJBSupport
Show all versions Show documentation Show source

0 downloads

Artifact LogsJBSupport
Group io.github.josecarlosbran
Version 0.5.6
Last update 25. August 2023
Organization not specified
URL https://github.com/Jbranadev/LogsJB/tree/support_version
License The Apache License, Version 2.0
Dependencies amount 1
Dependencies commons-lang3,
There are maybe transitive dependencies!

azure-resourcemanager-networkcloud from group com.azure.resourcemanager (version 1.0.0)

This package contains Microsoft Azure SDK for NetworkCloud Management SDK. For documentation on how to use this package, please see https://aka.ms/azsdk/java/mgmt. The Network Cloud APIs provide management of the on-premises clusters and their resources, such as, racks, bare metal hosts, virtual machines, workload networks and more. Package tag package-2023-07-01.

Group: com.azure.resourcemanager Artifact: azure-resourcemanager-networkcloud
Show all versions Show documentation Show source

0 downloads

Artifact azure-resourcemanager-networkcloud
Group com.azure.resourcemanager
Version 1.0.0
Last update 25. August 2023
Organization not specified
URL https://github.com/Azure/azure-sdk-for-java
License The MIT License (MIT)
Dependencies amount 2
Dependencies azure-core, azure-core-management,
There are maybe transitive dependencies!

azure-resourcemanager-managementgroups from group com.azure.resourcemanager (version 1.0.0-beta.1)

This package contains Microsoft Azure SDK for ManagementGroups Management SDK. For documentation on how to use this package, please see https://aka.ms/azsdk/java/mgmt. The Azure Management Groups API enables consolidation of multiple subscriptions/resources into an organizational hierarchy and centrally manage access control, policies, alerting and reporting for those resources. . Package tag package-2021-04.

Group: com.azure.resourcemanager Artifact: azure-resourcemanager-managementgroups
Show documentation Show source

0 downloads

Artifact azure-resourcemanager-managementgroups
Group com.azure.resourcemanager
Version 1.0.0-beta.1
Last update 19. June 2023
Organization not specified
URL https://github.com/Azure/azure-sdk-for-java
License The MIT License (MIT)
Dependencies amount 2
Dependencies azure-core, azure-core-management,
There are maybe transitive dependencies!

azure-resourcemanager-sqlvirtualmachine from group com.azure.resourcemanager (version 1.0.0-beta.4)

This package contains Microsoft Azure SDK for SqlVirtualMachine Management SDK. For documentation on how to use this package, please see https://aka.ms/azsdk/java/mgmt. The SQL virtual machine management API provides a RESTful set of web APIs that interact with Azure Compute, Network & Storage services to manage your SQL Server virtual machine. The API enables users to create, delete and retrieve a SQL virtual machine, SQL virtual machine group or availability group listener. Package tag package-preview-2022-08.

Group: com.azure.resourcemanager Artifact: azure-resourcemanager-sqlvirtualmachine
Show all versions Show documentation Show source

0 downloads

Artifact azure-resourcemanager-sqlvirtualmachine
Group com.azure.resourcemanager
Version 1.0.0-beta.4
Last update 13. June 2023
Organization not specified
URL https://github.com/Azure/azure-sdk-for-java
License The MIT License (MIT)
Dependencies amount 2
Dependencies azure-core, azure-core-management,
There are maybe transitive dependencies!

Page 1279 from 3 (items total 13061)