Download JAR files tagged by theory with all dependencies

set-theory_2.10 from group com.jtfmumm (version 0.1.4)

Set Theory

Group: com.jtfmumm Artifact: set-theory_2.10
Show all versions Show documentation Show source

0 downloads

Artifact set-theory_2.10
Group com.jtfmumm
Version 0.1.4
Last update 06. July 2015
Organization com.jtfmumm
URL http://github.com/jtfmumm/set-theory
License MIT
Dependencies amount 2
Dependencies scala-library, digit-parser_2.10,
There are maybe transitive dependencies!

pay-theory-android from group com.paytheory (version 2.8.0)

Pay Theory Android SDK

Group: com.paytheory Artifact: pay-theory-android
Show all versions Show documentation

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

0 downloads

Artifact pay-theory-android
Group com.paytheory
Version 2.8.0
Last update 28. October 2022
Organization not specified
URL https://github.com/pay-theory/pay-theory-android
License MIT License
Dependencies amount 1
Dependencies kotlin-stdlib-jdk8,
There are maybe transitive dependencies!

gapt_2.13 from group at.logic.gapt (version 2.17.0)

General Architecture for Proof Theory

Group: at.logic.gapt Artifact: gapt_2.13
Show all versions Show documentation Show source

0 downloads

Artifact gapt_2.13
Group at.logic.gapt
Version 2.17.0
Last update 27. September 2024
Organization at.logic.gapt
URL https://logic.at/gapt/
License GPL-3.0
Dependencies amount 23
Dependencies scala-library, scala-parallel-collections_2.13, scala-parser-combinators_2.13, scala-reflect, parboiled_2.13, fastparse_2.13, sourcecode_2.13, cats-free_2.13, scala-xml_2.13, commons-lang3, ammonite-ops_2.13, smtinterpol, scopt_2.13, org.ow2.sat4j.core, org.ow2.sat4j.maxsat, scala-swing_2.13, itextpdf, jlatexmath, json4s-native_2.13, circe-core_2.13, circe-generic_2.13, circe-parser_2.13, circe-generic-extras_2.13,
There are maybe transitive dependencies!

gapt_3 from group at.logic.gapt (version 2.17.0)

General Architecture for Proof Theory

Group: at.logic.gapt Artifact: gapt_3
Show documentation Show source

0 downloads

Artifact gapt_3
Group at.logic.gapt
Version 2.17.0
Last update 27. September 2024
Organization at.logic.gapt
URL https://logic.at/gapt/
License GPL-3.0
Dependencies amount 21
Dependencies scala3-library_3, scala-parallel-collections_3, scala-parser-combinators_3, parboiled_3, fastparse_3, sourcecode_3, cats-free_3, scala-xml_3, commons-lang3, os-lib_3, smtinterpol, scopt_3, org.ow2.sat4j.core, org.ow2.sat4j.maxsat, scala-swing_3, itextpdf, jlatexmath, json4s-native_3, circe-core_3, circe-generic_3, circe-parser_3,
There are maybe transitive dependencies!

etude from group com.github.andrewthehan (version 2.1.0)

Java Music Theory API

Group: com.github.andrewthehan Artifact: etude
Show all versions Show documentation Show source

0 downloads

Artifact etude
Group com.github.andrewthehan
Version 2.1.0
Last update 16. September 2016
Organization not specified
URL https://github.com/andrewthehan/etude
License MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

number-theory from group com.brunomcustodio.math.numbertheory (version 1.0)

Number-theory utilities for Java.

Group: com.brunomcustodio.math.numbertheory Artifact: number-theory
Show documentation Show source

0 downloads

Artifact number-theory
Group com.brunomcustodio.math.numbertheory
Version 1.0
Last update 19. November 2014
Organization not specified
URL https://github.com/bmcustodio/number-theory
License Apache 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

blaise-graph-theory-ui from group com.googlecode.blaisemath (version 4.0.8)

Swing UI components for blaise-graph-theory.

Group: com.googlecode.blaisemath Artifact: blaise-graph-theory-ui
Show all versions Show documentation Show source

0 downloads

Artifact blaise-graph-theory-ui
Group com.googlecode.blaisemath
Version 4.0.8
Last update 25. February 2024
Organization not specified
URL http://blaisemath.googlecode.com
License Apache License 2.0
Dependencies amount 2
Dependencies blaise-graph-theory, blaise-graphics-ui,
There are maybe transitive dependencies!

extra-bit from group io.github.javaf (version 1.0.6)

The bit is a basic unit of information in information theory, computing.

Group: io.github.javaf Artifact: extra-bit
Show all versions Show documentation Show source

0 downloads

Artifact extra-bit
Group io.github.javaf
Version 1.0.6
Last update 24. January 2021
Organization not specified
URL https://github.com/javaf/extra-bit
License MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

componentlibrary-core from group org.mitre.caasd (version 1.0.0)

Group: org.mitre.caasd Artifact: componentlibrary-core
Show documentation Show source

0 downloads

Artifact componentlibrary-core
Group org.mitre.caasd
Version 1.0.0
Last update 22. September 2014
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

componentlibrary-examples from group org.mitre.caasd (version 1.0.0)

Group: org.mitre.caasd Artifact: componentlibrary-examples
Show documentation Show source

0 downloads

Artifact componentlibrary-examples
Group org.mitre.caasd
Version 1.0.0
Last update 22. September 2014
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies componentlibrary-core,
There are maybe transitive dependencies!

Page 1 from 3 (items total 93)