Download JAR files tagged by checkerframework with all 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!
checker-qual7 from group org.checkerframework (version 2.4.0)
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
1 downloads
Artifact checker-qual7
Group org.checkerframework
Version 2.4.0
Last update 01. March 2018
Organization not specified
URL https://checkerframework.org
License GNU General Public License, version 2 (GPL2), with the classpath exception
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group org.checkerframework
Version 2.4.0
Last update 01. March 2018
Organization not specified
URL https://checkerframework.org
License GNU General Public License, version 2 (GPL2), with the classpath exception
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
dataflow-nullaway from group org.checkerframework (version 3.46.0)
dataflow-nullaway is a dataflow framework based on the javac compiler.
It differs from the org.checkerframework:dataflow artifact in two ways.
First, the packages in this artifact have been renamed to org.checkerframework.nullaway.*.
Second, unlike the dataflow artifact, this artifact contains the dependencies it requires.
Group: org.checkerframework Artifact: dataflow-nullaway
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact dataflow-nullaway
Group org.checkerframework
Version 3.46.0
Last update 01. August 2024
Organization not specified
URL https://checkerframework.org/
License GNU General Public License, version 2 (GPL2), with the classpath exception
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 GNU General Public License, version 2 (GPL2), with the classpath exception
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
dataflow-errorprone from group org.checkerframework (version 3.46.0)
dataflow-errorprone is a dataflow framework based on the javac compiler.
It differs from the org.checkerframework:dataflow artifact in two ways.
First, the packages in this artifact have been renamed to org.checkerframework.errorprone.*.
Second, unlike the dataflow artifact, this artifact contains the dependencies it requires.
Group: org.checkerframework Artifact: dataflow-errorprone
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact dataflow-errorprone
Group org.checkerframework
Version 3.46.0
Last update 01. August 2024
Organization not specified
URL https://checkerframework.org/
License GNU General Public License, version 2 (GPL2), with the classpath exception
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 GNU General Public License, version 2 (GPL2), with the classpath exception
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
dataflow-shaded from group org.checkerframework (version 3.46.0)
dataflow-shaded is a dataflow framework based on the javac compiler.
It differs from the org.checkerframework:dataflow artifact in two ways.
First, the packages in this artifact have been renamed to org.checkerframework.shaded.*.
Second, unlike the dataflow artifact, this artifact contains the dependencies it requires.
Group: org.checkerframework Artifact: dataflow-shaded
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact dataflow-shaded
Group org.checkerframework
Version 3.46.0
Last update 01. August 2024
Organization not specified
URL https://checkerframework.org/
License GNU General Public License, version 2 (GPL2), with the classpath exception
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 GNU General Public License, version 2 (GPL2), with the classpath exception
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
dataflow-nullaway from group io.github.eisop (version 3.42.0-eisop4)
dataflow-nullaway is a dataflow framework based on the javac compiler.
It differs from the org.checkerframework:dataflow artifact in two ways.
First, the packages in this artifact have been renamed to org.checkerframework.nullaway.*.
Second, unlike the dataflow artifact, this artifact contains the dependencies it requires.
0 downloads
Artifact dataflow-nullaway
Group io.github.eisop
Version 3.42.0-eisop4
Last update 13. July 2024
Organization not specified
URL https://eisop.github.io/
License GNU General Public License, version 2 (GPL2), with the classpath exception
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 GNU General Public License, version 2 (GPL2), with the classpath exception
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
dataflow-errorprone from group io.github.eisop (version 3.42.0-eisop4)
dataflow-errorprone is a dataflow framework based on the javac compiler.
It differs from the org.checkerframework:dataflow artifact in two ways.
First, the packages in this artifact have been renamed to org.checkerframework.errorprone.*.
Second, unlike the dataflow artifact, this artifact contains the dependencies it requires.
Group: io.github.eisop Artifact: dataflow-errorprone
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact dataflow-errorprone
Group io.github.eisop
Version 3.42.0-eisop4
Last update 13. July 2024
Organization not specified
URL https://eisop.github.io/
License GNU General Public License, version 2 (GPL2), with the classpath exception
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 GNU General Public License, version 2 (GPL2), with the classpath exception
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
dataflow-shaded from group io.github.eisop (version 3.42.0-eisop4)
dataflow-shaded is a dataflow framework based on the javac compiler.
It differs from the org.checkerframework:dataflow artifact in two ways.
First, the packages in this artifact have been renamed to org.checkerframework.shaded.*.
Second, unlike the dataflow artifact, this artifact contains the dependencies it requires.
0 downloads
Artifact dataflow-shaded
Group io.github.eisop
Version 3.42.0-eisop4
Last update 13. July 2024
Organization not specified
URL https://eisop.github.io/
License GNU General Public License, version 2 (GPL2), with the classpath exception
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 GNU General Public License, version 2 (GPL2), with the classpath exception
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Page 1 from 1 (items total 9)