Download JAR files tagged by checker with all dependencies
checker-annotated-openjdk6 from group edu.washington.cs.types.checker (version 1.5.0)
Subset of OpenJDK 6 classes, annotated with type qualifiers from the checker framework
Group: edu.washington.cs.types.checker Artifact: checker-annotated-openjdk6
Show documentation Show source
Show documentation Show source
0 downloads
Artifact checker-annotated-openjdk6
Group edu.washington.cs.types.checker
Version 1.5.0
Last update 31. January 2013
Organization not specified
URL http://types.cs.washington.edu/checker-framework
License GNU General Public License, version 2, with the Classpath Exception
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group edu.washington.cs.types.checker
Version 1.5.0
Last update 31. January 2013
Organization not specified
URL http://types.cs.washington.edu/checker-framework
License GNU General Public License, version 2, with the Classpath Exception
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
owasp from group io.github.locke-chappel.oss (version 1.0.15)
0 downloads
checker-qual from group org.checkerframework (version 3.46.0)
checker-qual contains annotations (type qualifiers) that a programmerwrites to specify Java code for type-checking by the Checker Framework.
45 downloads
Artifact checker-qual
Group org.checkerframework
Version 3.46.0
Last update 01. August 2024
Organization not specified
URL https://checkerframework.org/
License The MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group org.checkerframework
Version 3.46.0
Last update 01. August 2024
Organization not specified
URL https://checkerframework.org/
License The MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
checker-qual from group io.github.eisop (version 3.42.0-eisop4)
checker-qual contains annotations (type qualifiers) that a programmer
writes to specify Java code for type-checking by the Checker Framework.
0 downloads
Artifact checker-qual
Group io.github.eisop
Version 3.42.0-eisop4
Last update 13. July 2024
Organization not specified
URL https://eisop.github.io/
License The MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group io.github.eisop
Version 3.42.0-eisop4
Last update 13. July 2024
Organization not specified
URL https://eisop.github.io/
License The MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
stubparser from group org.checkerframework (version 3.26.1)
This project contains a parser for the Checker Framework's stub files: https://checkerframework.org/manual/#stub . It is a fork of the JavaParser project.
0 downloads
Artifact stubparser
Group org.checkerframework
Version 3.26.1
Last update 26. June 2024
Organization not specified
URL https://github.com/typetools/stubparser
License Apache License 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group org.checkerframework
Version 3.26.1
Last update 26. June 2024
Organization not specified
URL https://github.com/typetools/stubparser
License Apache License 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
checker-compat-qual from group org.checkerframework (version 2.5.6)
Checker Qual is the set of annotations (qualifiers) and supporting classes
used by the Checker Framework to type check Java source code. Please
see artifact:
org.checkerframework:checker
Group: org.checkerframework Artifact: checker-compat-qual
Show all versions Show documentation Show source
Show all versions Show documentation Show source
40 downloads
Artifact checker-compat-qual
Group org.checkerframework
Version 2.5.6
Last update 02. November 2023
Organization not specified
URL https://checkerframework.org
License The MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group org.checkerframework
Version 2.5.6
Last update 02. November 2023
Organization not specified
URL https://checkerframework.org
License The MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
epubcheck from group org.w3c (version 5.1.0)
PUBCheck is the official conformance checker for EPUB publications. EPUBCheck can be run as a standalone command-line tool or used
as a Java library.
Artifact epubcheck
Group org.w3c
Version 5.1.0
Last update 07. July 2023
Organization The World Wide Web Consortium (W3C)
URL https://github.com/w3c/epubcheck
License BSD 3-Clause License
Dependencies amount 12
Dependencies icu4j, Saxon-HE, galimatias, commons-compress, jing, sac, guava, imageio-jpeg, jackson-core-asl, jackson-mapper-asl, json-path-assert, slf4j-nop,
There are maybe transitive dependencies!
Group org.w3c
Version 5.1.0
Last update 07. July 2023
Organization The World Wide Web Consortium (W3C)
URL https://github.com/w3c/epubcheck
License BSD 3-Clause License
Dependencies amount 12
Dependencies icu4j, Saxon-HE, galimatias, commons-compress, jing, sac, guava, imageio-jpeg, jackson-core-asl, jackson-mapper-asl, json-path-assert, slf4j-nop,
There are maybe transitive dependencies!
versionchecker from group de.griefed (version 1.1.9)
A simple version checker, using semantic-release formats like 1.2.3, 2.3.4 or 6.6.6, as well as 3.4.5-alpha.2 or 4.5.6-beta.3, for a given GitHub user and repository, or GitLab repository URL.
0 downloads
Artifact versionchecker
Group de.griefed
Version 1.1.9
Last update 06. May 2023
Organization not specified
URL https://git.griefed.de/Griefed/VersionChecker.git
License MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group de.griefed
Version 1.1.9
Last update 06. May 2023
Organization not specified
URL https://git.griefed.de/Griefed/VersionChecker.git
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
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!
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
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!
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!
Page 24 from 30 (items total 295)