Maven & Gradle Repository

Javacutil · javacutil contains utility classes for the javac compiler.

Checker Framework Testing Library · framework-test contains utility classes for testing type-checkers that are built on the Checker Framework.

Dataflow · Dataflow is a dataflow framework based on the javac compiler.

Checker Qual Android · checker-qual-android contains annotations (type qualifiers) that a programmer writes to specify Java code for type-checking by the Checker Framework. The checker-qual-android artifact is identical to the checker-qual artifact, except that in checker-qual-android annotations have classfile retention. The default Android Gradle plugin retains types annotated with runtime annotations in the main dex, but strips out class-retention annotations.

Checker Qual · checker-qual contains annotations (type qualifiers) that a programmer writes to specify Java code for type-checking by the Checker Framework.

Dataflow (shaded) · dataflow-shaded is a dataflow framework based on the javac compiler. It differs from the org.checkerframework:dataflow artifact in two ways. First, the packages in this artifact have been renamed to org.checkerframework.shaded.*. Second, unlike the dataflow artifact, this artifact contains the dependencies it requires.

Dataflow (nullaway) · dataflow-nullaway is a dataflow framework based on the javac compiler. It differs from the org.checkerframework:dataflow artifact in two ways. First, the packages in this artifact have been renamed to org.checkerframework.nullaway.*. Second, unlike the dataflow artifact, this artifact contains the dependencies it requires.

Dataflow (errorprone) · dataflow-errorprone is a dataflow framework based on the javac compiler. It differs from the org.checkerframework:dataflow artifact in two ways. First, the packages in this artifact have been renamed to org.checkerframework.errorprone.*. Second, unlike the dataflow artifact, this artifact contains the dependencies it requires.

Checker Util · checker-util contains utility classes for programmers to use at run time.

Checker Framework · 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.

dingtalk · Alibaba Cloud dingtalk SDK for Java

Example-HBase: HBase Storage, Solr Index

JanusGraph-All: Complete JanusGraph Distribution

Example-BerkeleyJE: BerkeleyJE Storage, Lucene Index

Example-Common: Common Graph Code for Examples

Example-Cql: Cassandra CQL Storage, Elasticsearch Index

Example-RemoteGraph: Example with RemoteGraph

Example-TinkerGraph: Example with TinkerGraph

JanusGraph: Distributed Graph Database · JanusGraph is a distributed graph database optimized for processing massive-scale graphs represented over a machine cluster. JanusGraph separates the concerns of graph processing and manipulation from storing the graph on disk, delegating that concern to an extensible set of persistence solutions.

JanusGraph-Backend-testutils: Collection of Backend tests

JanusGraph-BerkeleyJE: Distributed Graph Database

JanusGraph-Bigtable: Google Cloud Bigtable driver

JanusGraph-Core: Core Library for JanusGraph

JanusGraph-CQL: Distributed Graph Database