Download JAR files tagged by theory with all dependencies
set-theory_2.10 from group com.jtfmumm (version 0.1.4)
0 downloads
pay-theory-android from group com.paytheory (version 2.8.0)
Group: com.paytheory Artifact: pay-theory-android
Show all versions Show documentation
Show all versions Show documentation
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
gapt_2.13 from group at.logic.gapt (version 2.17.0)
General Architecture for Proof Theory
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, parboiled_2.13, fastparse_2.13, sourcecode_2.13, cats-free_2.13, scala-xml_2.13, commons-lang3, os-lib_2.13, smtinterpol, scopt_2.13, org.ow2.sat4j.core, org.ow2.sat4j.maxsat, scala-reflect, 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!
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, parboiled_2.13, fastparse_2.13, sourcecode_2.13, cats-free_2.13, scala-xml_2.13, commons-lang3, os-lib_2.13, smtinterpol, scopt_2.13, org.ow2.sat4j.core, org.ow2.sat4j.maxsat, scala-reflect, 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
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!
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
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!
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)
0 downloads
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
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 3
Dependencies blaise-graph-theory, blaise-graphics, blaise-graphics-ui,
There are maybe transitive dependencies!
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 3
Dependencies blaise-graph-theory, blaise-graphics, 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.
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!
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)
componentlibrary-examples from group org.mitre.caasd (version 1.0.0)
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!
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)
© 2015 - 2024 Weber Informatics LLC | Privacy Policy