Download JAR files tagged by theory with all dependencies

jgrapht from group net.sf.jgrapht (version 0.8.3)

A Java class library for graph-theory data structures and algorithms.

Group: net.sf.jgrapht Artifact: jgrapht
Show documentation Show source

12 downloads

Artifact jgrapht
Group net.sf.jgrapht
Version 0.8.3
Last update 22. May 2012
Organization not specified
URL http://www.jgrapht.org
License GNU Lesser General Public License Version 2.1, February 1999
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

jgrapht-jdk1.5 from group org.jgrapht (version 0.7.3)

JGraphT is a free Java graph library that provides mathematical graph-theory objects and algorithms

Group: org.jgrapht Artifact: jgrapht-jdk1.5
Show source

3 downloads

Artifact jgrapht-jdk1.5
Group org.jgrapht
Version 0.7.3
Last update 06. March 2008
Organization not specified
URL http://jgrapht.sourceforge.net
License GNU Lesser General Public License Version 2.1, February 1999
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

jnumbertools from group io.github.deepeshpatel (version 2.0.0)

JNumberTools is the combinatorics and number-theory library which provides useful APIS related to said topics

Group: io.github.deepeshpatel Artifact: jnumbertools
Show all versions Show documentation Show source

0 downloads

Artifact jnumbertools
Group io.github.deepeshpatel
Version 2.0.0
Last update 04. May 2024
Organization not specified
URL https://github.com/deepeshpatel/jnumbertools
License GNU LESSER GENERAL PUBLIC LICENSE v3
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

learnlib-kearns-vazirani from group de.learnlib (version 0.17.0)

This artifact provides the implementation of the learning algorithm described in the book "An Introduction to Computational Learning Theory" by Michael Kearns and Umesh Vazirani.

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

0 downloads

Artifact learnlib-kearns-vazirani
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 12
Dependencies learnlib-api, learnlib-counterexamples, learnlib-datastructure-dt, learnlib-util, automata-api, automata-commons-smartcollections, automata-core, checker-qual, slf4j-api, buildergen, learnlib-learner-it-support, testng,
There are maybe transitive dependencies!

salt-api from group org.corpus-tools (version 3.4.3)

Group: org.corpus-tools Artifact: salt-api
Show all versions Show documentation Show source

0 downloads

Artifact salt-api
Group org.corpus-tools
Version 3.4.3
Last update 27. March 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 13
Dependencies commons-lang3, nv-i18n, textcat, slf4j-api, guava, woodstox-core, json, org.eclipse.emf.common, org.eclipse.emf.ecore, org.eclipse.emf.ecore.xmi, junit, xmlunit, assertj-core,
There are maybe transitive dependencies!

salt from group org.corpus-tools (version 3.4.3)

A powerful, tagset-independent and theory-neutral meta model and API for storing, manipulating, and representing nearly all types of linguistic data .

Group: org.corpus-tools Artifact: salt
Show all versions

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

0 downloads

Artifact salt
Group org.corpus-tools
Version 3.4.3
Last update 27. March 2023
Organization Humboldt-Universität zu Berlin, INRIA
URL http://corpus-tools.org/salt/
License The Apache Software License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

graph-theory from group dev.loqo71la (version 0.0.1)

graph-theory is a library to represent graphs, and it manages the vertices and edges through an adjacency list.

Group: dev.loqo71la Artifact: graph-theory
Show documentation Show source

0 downloads

Artifact graph-theory
Group dev.loqo71la
Version 0.0.1
Last update 08. March 2023
Organization not specified
URL https://loqo71la.dev
License MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

shapesafe-macro_2.13 from group ai.acyclic.shapesafe (version 0.1.4)

SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory

Group: ai.acyclic.shapesafe Artifact: shapesafe-macro_2.13
Show all versions Show documentation Show source

0 downloads

Artifact shapesafe-macro_2.13
Group ai.acyclic.shapesafe
Version 0.1.4
Last update 02. June 2022
Organization not specified
URL https://github.com/tribbloid/shapesafe
License Apache License, Version 2.0
Dependencies amount 2
Dependencies shapesafe-graph-commons_2.13, singleton-ops_2.13,
There are maybe transitive dependencies!

shapesafe-graph-commons_2.13 from group ai.acyclic.shapesafe (version 0.1.4)

SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory

Group: ai.acyclic.shapesafe Artifact: shapesafe-graph-commons_2.13
Show all versions Show documentation Show source

0 downloads

Artifact shapesafe-graph-commons_2.13
Group ai.acyclic.shapesafe
Version 0.1.4
Last update 02. June 2022
Organization not specified
URL https://github.com/tribbloid/shapesafe
License Apache License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

shapesafe-core_2.13 from group ai.acyclic.shapesafe (version 0.1.4)

SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory

Group: ai.acyclic.shapesafe Artifact: shapesafe-core_2.13
Show all versions Show documentation Show source

0 downloads

Artifact shapesafe-core_2.13
Group ai.acyclic.shapesafe
Version 0.1.4
Last update 02. June 2022
Organization not specified
URL https://github.com/tribbloid/shapesafe
License Apache License, Version 2.0
Dependencies amount 1
Dependencies shapesafe-macro_2.13,
There are maybe transitive dependencies!

Page 6 from 9 (items total 90)