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
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!
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
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!
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
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!
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.)
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!
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
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!
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
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!
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
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!
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).
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!
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
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!
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
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!
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)