Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
Top 5.7% on repo1.maven.org
Top 0.1% dependent packages on repo1.maven.org
Top 0.8% dependent repos on repo1.maven.org
Top 5.5% docker downloads on repo1.maven.org
Top 0.1% dependent packages on repo1.maven.org
Top 0.8% dependent repos on repo1.maven.org
Top 5.5% docker downloads on repo1.maven.org
repo1.maven.org : org.checkerframework:checker-compat-qual
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
Registry
-
Source
- Homepage
- Documentation
- JSON
purl: pkg:maven/org.checkerframework/checker-compat-qual
Keywords: java, types, verification
License: MIT
Latest release: 7 months ago
First release: over 9 years ago
Namespace: org.checkerframework
Dependent packages: 712
Dependent repositories: 346
Stars: 934 on GitHub
Forks: 358 on GitHub
Docker dependents: 5
Docker downloads: 39,528,485
See more repository details: repos.ecosyste.ms
Last synced: 11 days ago
Top 9.2% on repo1.maven.org
120 versions - Latest release: about 1 month ago - 11 dependent packages - 9 dependent repositories - 896 stars on GitHub
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
Top 7.8% on repo1.maven.org
37 versions - Latest release: about 1 month ago - 42 dependent packages - 15 dependent repositories - 897 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
Top 8.9% on repo1.maven.org
120 versions - Latest release: about 1 month ago - 11 dependent packages - 12 dependent repositories - 896 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
Top 5.4% on repo1.maven.org
126 versions - Latest release: about 1 month ago - 1,685 dependent packages - 2,614 dependent repositories - 934 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
Top 5.9% on repo1.maven.org
126 versions - Latest release: about 1 month ago - 55 dependent packages - 375 dependent repositories - 896 stars on GitHub
org.checkerframework:checker 3.43.0
The Checker Framework enhances Java's type system to make it more powerful and useful. This lets ...126 versions - Latest release: about 1 month ago - 55 dependent packages - 375 dependent repositories - 896 stars on GitHub
Top 6.5% on repo1.maven.org
75 versions - Latest release: about 4 years ago - 27 dependent packages - 245 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