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

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!

owasp from group io.github.locke-chappel.oss (version 1.0.15)

Group: io.github.locke-chappel.oss Artifact: owasp
Show all versions Show documentation Show source

0 downloads

Artifact owasp
Group io.github.locke-chappel.oss
Version 1.0.15

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.

Group: org.checkerframework Artifact: checker-qual
Show all versions Show documentation Show source

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!

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.

Group: io.github.eisop Artifact: checker-qual
Show all versions Show documentation Show source

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!

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.

Group: org.checkerframework Artifact: stubparser
Show all versions Show documentation Show source

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!

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

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!

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.

Group: org.w3c Artifact: epubcheck
Show all versions Show documentation Show source

0 downloads

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!

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.

Group: de.griefed Artifact: versionchecker
Show all versions Show documentation Show source

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!

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!

Page 24 from 30 (items total 295)