Repositories list

• checker-framework

  Public
  Pluggable type-checking for Java

  javatypesverification

  Java

  •

  Other

  •425•1.1k•398•24•Updated Dec 7, 2025Dec 7, 2025

• templatefora-checker

  Public template
  A template for a Checker Framework checker hosted outside the main typetools/checker-framework repository.

  Java

  •

  MIT License

  •8•3•1•2•Updated Dec 3, 2025Dec 3, 2025

• jdk

  Public
  Read-only mirror of https://hg.openjdk.java.net/jdk/jdk

  Java

  •

  GNU General Public License v2.0

  •6.2k•5•0•7•Updated Dec 1, 2025Dec 1, 2025

• commons-bcel

  Public
  Mirror of Apache Commons BCEL

  Java

  •

  Apache License 2.0

  •132•0•0•0•Updated Nov 30, 2025Nov 30, 2025

• arodnap

  Public
  HTML

  •0•0•0•0•Updated Nov 27, 2025Nov 27, 2025

• stubparser

  Public
  Reads stub files for the Checker Framework

  Java

  •

  Other

  •1.2k•4•0•5•Updated Nov 25, 2025Nov 25, 2025

• commons-csv

  Public
  Mirror of Apache Commons CSV

  Java

  •

  Apache License 2.0

  •288•0•0•2•Updated Nov 17, 2025Nov 17, 2025

• jdk17u

  Public
  https://openjdk.java.net/projects/jdk-updates/

  Java

  •

  GNU General Public License v2.0

  •194•0•0•0•Updated Nov 17, 2025Nov 17, 2025

• asm

  Public
  This fork of https://gitlab.ow2.org/asm/asm contains pluggable types.

  Java

  •

  Other

  •1•0•0•1•Updated Nov 2, 2025Nov 2, 2025

• checker-framework.demos

  Public
  Demos for the Checker Framework

  Java

  •9•5•0•0•Updated Oct 1, 2025Oct 1, 2025

• guava

  Public
  Google Core Libraries for Java 6+

  Java

  •

  Apache License 2.0

  •11k•1•0•0•Updated Aug 24, 2025Aug 24, 2025

• annotation-tools

  Public archive
  Tools for type annotations in Java

  Java

  •

  MIT License

  •35•40•33•1•Updated Jul 10, 2025Jul 10, 2025

• logging-log4j2

  Public
  Apache Log4j 2 is a versatile, feature-rich, efficient logging API and backend for Java.

  Java

  •

  Apache License 2.0

  •1.7k•0•0•0•Updated Jun 2, 2025Jun 2, 2025

• commons-io

  Public
  Mirror of Apache Commons IO

  Java

  •

  Apache License 2.0

  •702•1•0•1•Updated Sep 19, 2024Sep 19, 2024

• junit5

  Public
  ✅ The 5th major version of the programmer-friendly testing framework for Java and the JVM

  Java

  •

  Eclipse Public License 2.0

  •1.6k•0•0•3•Updated Jan 29, 2024Jan 29, 2024

• java-getopt

  Public
  A Java option processor 100% compatible with the GNU C Library getopt

  Java

  •20•0•0•0•Updated Jan 27, 2024Jan 27, 2024

• breadwallet-core

  Public
  SPV bitcoin C library

  C

  •

  MIT License

  •322•0•0•0•Updated Aug 25, 2023Aug 25, 2023

• jdk20u

  Public
  https://openjdk.org/projects/jdk-updates

  Java

  •

  GNU General Public License v2.0

  •41•0•0•0•Updated Apr 14, 2023Apr 14, 2023

• logging-log4j2-old

  Public
  Apache Log4j 2 is an upgrade to Log4j that provides significant improvements over its predecessor, Log4j 1.x, and provides many of the improvements available in Logback while fixing some inherent problems in Logback's architecture.

  Java

  •

  Apache License 2.0

  •1.7k•0•0•0•Updated Nov 17, 2022Nov 17, 2022

• junit4

  Public
  A programmer-oriented testing framework for Java.

  Java

  •

  Eclipse Public License 1.0

  •3.3k•0•0•0•Updated Oct 2, 2022Oct 2, 2022

• jdk11u

  Public
  Read-only mirror of https://hg.openjdk.java.net/jdk-updates/jdk11u/

  Java

  •

  GNU General Public License v2.0

  •200•0•0•0•Updated Jun 29, 2022Jun 29, 2022

• logging-log4j1

  Public
  Apache log4j1

  Java

  •

  Apache License 2.0

  •576•0•0•0•Updated Jan 17, 2022Jan 17, 2022

• checker-framework-inference

  Public
  Inference of pluggable types for Java

  Java

  •33•10•10•1•Updated Jun 25, 2021Jun 25, 2021

• annotated-libraries

  Public
  Pre-built versions of several libraries containing additional specifications.

  8•0•0•0•Updated Apr 29, 2021Apr 29, 2021

• gson

  Public
  A Java serialization/deserialization library to convert Java Objects into JSON and back

  Java

  •

  Apache License 2.0

  •4.4k•0•0•3•Updated Jul 3, 2020Jul 3, 2020

• commons-math

  Public
  Apache Commons Math

  Java

  •

  Apache License 2.0

  •372•0•0•1•Updated Aug 29, 2019Aug 29, 2019

• commons-lang

  Public
  Mirror of Apache Commons Lang

  Java

  •

  Apache License 2.0

  •1.8k•0•0•0•Updated Aug 20, 2019Aug 20, 2019

• openjdk-jdk12u

  Public
  Mirror of http://hg.openjdk.java.net/jdk-updates/jdk12u/

  Java

  •

  GNU General Public License v2.0

  •33•0•0•1•Updated Jul 14, 2019Jul 14, 2019

• dubbo

  Public
  Apache Dubbo is a high-performance, java based, open source RPC framework.

  Java

  •

  Apache License 2.0

  •27k•0•0•1•Updated Jun 22, 2019Jun 22, 2019

• sparta

  Public
  Static Program Analysis for Reliable Trusted Apps

  Java

  •9•23•2•0•Updated Nov 29, 2018Nov 29, 2018