Download JAR files tagged by checkers with all dependencies

jtet from group ca.mcscert.jtet (version 1.0)

Library to handle Tabular Expressions, including a generic in memory representation, proof checkers, and code generators.

Group: ca.mcscert.jtet Artifact: jtet
Show documentation Show source

0 downloads

Artifact jtet
Group ca.mcscert.jtet
Version 1.0
Last update 05. February 2015
Organization not specified
URL https://groke.cas.mcmaster.ca/gitlab/tables/jtet
License BSD
Dependencies amount 2
Dependencies antlr4-runtime, commons-lang3,
There are maybe transitive dependencies!

grumpinessy from group com.github.sviperll (version 0.5)

The project provides checkstyle.xml configuration that can be used by CheckStyle to enforce opinionated formating and coding style that is somewhat similar to Sun's and OpenJDK's styles, but includes authors preferences. Additionally custom CheckStyle checkers can be used separately as part of some other CheckStyle configuration.

Group: com.github.sviperll Artifact: grumpinessy
Show all versions Show documentation Show source

0 downloads

Artifact grumpinessy
Group com.github.sviperll
Version 0.5
Last update 27. December 2023
Organization not specified
URL https://github.com/sviperll/grumpinessy
License Apache-2.0
Dependencies amount 1
Dependencies checkstyle,
There are maybe transitive dependencies!

qstools from group org.jboss.maven.plugins (version 1.6.3.Final)

This a Maven Plugin that helps JBoss Developer quickstarts maintenance. You can use it to verify if your project/quickstart follow the JBoss Developer Guidelines. It will run all JBoss Developer Guideline checkers and generate a report that provides information about any violations that your project/quickstarts has.

Group: org.jboss.maven.plugins Artifact: qstools
Show all versions Show source

0 downloads

Artifact qstools
Group org.jboss.maven.plugins
Version 1.6.3.Final
Last update 04. March 2016
Organization not specified
URL http://www.jboss.org/developer-materials/
License Apache License, Version 2.0
Dependencies amount 17
Dependencies maven-shared-utils, org.eclipse.jgit, org.eclipse.text, org.eclipse.jdt.core, maven-aether-provider, guava, aether-util, aether-spi, mojo-executor, snakeyaml, httpclient, stacks-client, juniversalchardet, commons-io, commons-lang, shrinkwrap-resolver-depchain, maven-checkstyle-plugin,
There are maybe transitive dependencies!

maven-qstools-plugin from group org.jboss.maven.plugins (version 1.4.1.Final)

Group: org.jboss.maven.plugins Artifact: maven-qstools-plugin
Show all versions Show source

0 downloads

Artifact maven-qstools-plugin
Group org.jboss.maven.plugins
Version 1.4.1.Final
Last update 20. March 2014
Organization not specified
URL http://www.jboss.org/jdf
License Apache License, Version 2.0
Dependencies amount 17
Dependencies guava-io, plexus-utils, mojo-executor, snakeyaml, httpclient, org.eclipse.jgit, org.eclipse.text, org.eclipse.jdt.core, stacks-client, juniversalchardet, commons-io, shrinkwrap-resolver-depchain, aether-api, aether-util, maven-checkstyle-plugin, maven-jxr-plugin, maven-site-plugin,
There are maybe transitive dependencies!

checker from group org.checkerframework (version 3.47.0)

The Checker Framework enhances Java's type system to make it more powerful and useful. This lets software developers detect and prevent errors in their Java programs. The Checker Framework includes compiler plug-ins ("checkers") that find bugs or verify their absence. It also permits you to write your own compiler plug-ins.

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

58 downloads

Artifact checker
Group org.checkerframework
Version 3.47.0
Last update 04. September 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!

checker from group io.github.eisop (version 3.42.0-eisop4)

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

0 downloads

Artifact checker
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!

framework-all from group io.github.eisop (version 3.0.0-b2)

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

0 downloads

Artifact framework-all
Group io.github.eisop
Version 3.0.0-b2
Last update 24. May 2019
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!

framework from group io.github.eisop (version 3.0.0-b2)

Group: io.github.eisop Artifact: framework
Show documentation Show source

0 downloads

Artifact framework
Group io.github.eisop
Version 3.0.0-b2
Last update 24. May 2019
Organization not specified
URL https://checkerframework.org
License GNU General Public License, version 2 (GPL2), with the classpath exception
Dependencies amount 3
Dependencies annotation-tools-scene-lib, dataflow, stubparser,
There are maybe transitive dependencies!

Page 2 from 2 (items total 18)