Download JAR files tagged by checker with all dependencies

shapesafe-core_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-core_2.13
Show all versions Show documentation Show source

0 downloads

Artifact shapesafe-core_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 1
Dependencies shapesafe-macro_2.13,
There are maybe transitive dependencies!

rootbeer-lib from group com.scottyab (version 0.1.0)

A tasty root checker library and sample app. We've scoured the internets for different methods of answering that age old question... Has this device got root?

Group: com.scottyab Artifact: rootbeer-lib
Show all versions

There is no JAR file uploaded. A download is not possible! Please choose another version.

3 downloads

Artifact rootbeer-lib
Group com.scottyab
Version 0.1.0
Last update 24. May 2021
Organization not specified
URL https://github.com/scottyab/rootbeer.git
License The Apache Software License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

spell-check-maven-plugin from group com.github.tomxiong (version 1.0.0)

spell checker with specific files contains text which show in UI or message from properties and xml file

Group: com.github.tomxiong Artifact: spell-check-maven-plugin
Show source

0 downloads

Artifact spell-check-maven-plugin
Group com.github.tomxiong
Version 1.0.0
Last update 05. April 2021
Organization not specified
URL https://github.com/tomxiong/spell-check-maven-plugin
License MIT License
Dependencies amount 5
Dependencies maven-core, plexus-utils, commons-lang3, file-management, symspell-lib,
There are maybe transitive dependencies!

jing from group nu.validator (version 20200702VNU)

A branch of Jing used by the Nu Html Checker. (Jing is a tool for validating documents against RelaxNG schemas.)

Group: nu.validator Artifact: jing
Show all versions Show documentation Show source

25 downloads

Artifact jing
Group nu.validator
Version 20200702VNU
Last update 01. July 2020
Organization not specified
URL http://www.thaiopensource.com/relaxng/jing.html
License 3-clause BSD license
Dependencies amount 2
Dependencies isorelax, Saxon-HE,
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

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

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!

jaspell from group uk.ac.gate (version 0.3.1)

Java Spell Checker library, originally developed by Bruno Martins (http://jaspell.sourceforge.net) with modifications by Ian Roberts

Group: uk.ac.gate Artifact: jaspell
Show documentation Show source

3 downloads

Artifact jaspell
Group uk.ac.gate
Version 0.3.1
Last update 24. November 2016
Organization not specified
URL https://github.com/GateNLP/jaspell
License bsd_2
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

validation.releng from group fr.lip6.pnml (version 1.2.4)

PNML Document Checker is a free tool to check the conformance of your Petri Net Markup Language Documents with the ISO/IEC 15909-2 standard.

Group: fr.lip6.pnml Artifact: validation.releng
Show all versions

There is no JAR file uploaded. A download is not possible! Please choose another version.

0 downloads

Artifact validation.releng
Group fr.lip6.pnml
Version 1.2.4
Last update 11. February 2016
Organization Univ. Paris Ouest and Univ. Pierre et Marie Curie / CNRS UMR 7606 (LIP6)
URL http://pnml.lip6.fr/pnmlvalidation
License Eclipse Public License - Version 1.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

bean-checker from group com.github.vlad2 (version 1.0.5)

Bean checker is a Java library which helps to check that all properties of a Java bean have been set (no matter if they were set to not-null or null values).

Group: com.github.vlad2 Artifact: bean-checker
Show documentation Show source

0 downloads

Artifact bean-checker
Group com.github.vlad2
Version 1.0.5
Last update 02. November 2015
Organization not specified
URL https://github.com/vlad2/bean-checker
License GNU LESSER GENERAL PUBLIC LICENSE, Version 3.0
Dependencies amount 2
Dependencies slf4j-api, cglib,
There are maybe transitive dependencies!

checkerframework-maven-plugin from group org.checkerframework (version 1.8.2)

The Checker Framework Maven Plugin allows you to easily run the Checker Framework in your Maven build. Directions can be found at: http://types.cs.washington.edu/checker-framework/current/checker-framework-manual.html#maven-plugin

Group: org.checkerframework Artifact: checkerframework-maven-plugin
Show all versions Show documentation Show source

5 downloads

Artifact checkerframework-maven-plugin
Group org.checkerframework
Version 1.8.2
Last update 02. June 2014
Organization not specified
URL http://checkerframework.org
License GNU General Public License, version 2 (GPL2), with the classpath exception
Dependencies amount 5
Dependencies maven-toolchain, maven-plugin-api, maven-project, maven-compiler-plugin, plexus-compiler-javac,
There are maybe transitive dependencies!

sql-checker from group io.github.uqix (version 1.0.1)

SQL checker for Spring Boot Mybatis Mappers By invoking all Mapper methods with dummy args which hits DB and catching syntax exceptions To verify that no SQL syntax errors in Mapper.xml

Group: io.github.uqix Artifact: sql-checker
Show all versions Show documentation Show source

0 downloads

Artifact sql-checker
Group io.github.uqix
Version 1.0.1
Last update 11. May 2020
Organization not specified
URL https://github.com/uqix/sql-checker
License MIT License
Dependencies amount 1
Dependencies mybatis-spring-boot-starter,
There are maybe transitive dependencies!

Page 25 from 30 (items total 295)