Download JAR files tagged by https with all dependencies

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

This artifact provides the implementation of (a blue-fringe version of) the "regular positive negative inference" (RPNI) learning algorithm as presented in the paper "Inferring regular languages in polynomial update time" (https://dx.doi.org/10.1142/9789812797902_0004) by Jose Oncina and Pedro García. More details on the blue-fringe version of this algorithm can be found in the book "Grammatical Inference" (https://doi.org/10.1017/CBO9781139194655) by Colin de la Higuera.

Group: de.learnlib Artifact: learnlib-rpni
Show all versions Show documentation Show source

0 downloads

Artifact learnlib-rpni
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 8
Dependencies learnlib-api, learnlib-datastructure-pta, automata-api, automata-commons-smartcollections, checker-qual, buildergen, learnlib-learner-it-support, testng,
There are maybe transitive 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)

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

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)

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

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!

Page 1278 from 3 (items total 13054)