Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
Top 1.3% dependent packages on repo1.maven.org
Top 0.7% dependent repos on repo1.maven.org
Top 4.6% docker downloads on repo1.maven.org
repo1.maven.org : org.checkerframework:checker
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.
Registry
-
Source
- Homepage
- Documentation
- JSON
purl: pkg:maven/org.checkerframework/checker
Keywords: java, types, verification
License: GPL-2.0,libpng-2.0,GPL-2.0-with-classpath-exception
Latest release: about 1 month ago
First release: about 10 years ago
Namespace: org.checkerframework
Dependent packages: 55
Dependent repositories: 375
Stars: 896 on GitHub
Forks: 332 on GitHub
Docker dependents: 2
Docker downloads: 397
See more repository details: repos.ecosyste.ms
Last synced: 20 days ago
org.checkerframework:javacutil 3.43.0
javacutil contains utility classes for the javac compiler.120 versions - Latest release: about 1 month ago - 11 dependent packages - 9 dependent repositories - 896 stars on GitHub
org.checkerframework:framework-test 3.43.0
framework-test contains utility classes for testing type-checkers that are built on the Checker F...71 versions - Latest release: about 1 month ago - 3 dependent packages - 10 dependent repositories - 896 stars on GitHub
org.checkerframework:dataflow-nullaway 3.43.0
dataflow-nullaway is a dataflow framework based on the javac compiler. It differs from the org.ch...37 versions - Latest release: about 1 month ago - 18 dependent packages - 1 dependent repositories - 896 stars on GitHub
org.checkerframework:dataflow-errorprone 3.43.0
dataflow-errorprone is a dataflow framework based on the javac compiler. It differs from the org....37 versions - Latest release: about 1 month ago - 42 dependent packages - 15 dependent repositories - 897 stars on GitHub
org.checkerframework:dataflow-shaded 3.43.0
dataflow-shaded is a dataflow framework based on the javac compiler. It differs from the org.chec...55 versions - Latest release: about 1 month ago - 12 dependent packages - 2 dependent repositories - 897 stars on GitHub
org.checkerframework:dataflow 3.43.0
Dataflow is a dataflow framework based on the javac compiler.120 versions - Latest release: about 1 month ago - 11 dependent packages - 12 dependent repositories - 896 stars on GitHub
org.checkerframework:checker-util 3.43.0
checker-util contains utility classes for programmers to use at run time.41 versions - Latest release: about 1 month ago - 4 dependent packages - 6 dependent repositories - 897 stars on GitHub
org.checkerframework:checker-qual-android 3.43.0
checker-qual-android contains annotations (type qualifiers) that a programmer writes to specify J...70 versions - Latest release: about 1 month ago - 1 dependent package - 14 dependent repositories - 951 stars on GitHub
org.checkerframework:checker-qual 3.43.0
checker-qual contains annotations (type qualifiers) that a programmer writes to specify Java code...126 versions - Latest release: about 1 month ago - 1,685 dependent packages - 2,614 dependent repositories - 934 stars on GitHub
org.checkerframework:checker-compat-qual 2.5.6
Checker Qual is the set of annotations (qualifiers) and supporting classes used by the Checker Fr...51 versions - Latest release: 7 months ago - 712 dependent packages - 346 dependent repositories - 934 stars on GitHub
org.checkerframework:jdk8 3.3.0
Annotated JDK 8 consists of Checker Framework annotations for the Open JDK Java 8 API. Method imp...75 versions - Latest release: about 4 years ago - 27 dependent packages - 245 dependent repositories - 934 stars on GitHub
io.github.eisop:jdk8 3.0.0-b2
Annotated JDK 8 consists of bytecode implementing the Open JDK Java 8 api annotated with Checker ...1 version - Latest release: about 5 years ago - 951 stars on GitHub
org.checkerframework:testlib 2.5.4
Testlib is a collection of utility classes for testing checkers that use the Checker Framework.4 versions - Latest release: almost 6 years ago - 3 dependent packages - 1 dependent repositories - 934 stars on GitHub
org.checkerframework:checker-qual7 2.4.0
Checker Qual is the set of annotations (qualifiers) and supporting classes used by the Checker Fr...6 versions - Latest release: over 6 years ago - 5 dependent packages - 1 dependent repositories - 951 stars on GitHub
org.checkerframework:jdk7 2.1.14
Annotated JDK 7 consists of bytecode implementing the Open JDK Java 7 api annotated with Checker ...43 versions - Latest release: almost 7 years ago - 1 dependent package - 46 dependent repositories - 951 stars on GitHub