Repositories list

• checker-framework

  Public
  Pluggable type-checking for Java

  javatypesverification

  javatypesverification

  Java

  •

  Other

  •436•1.1k•392•39•Updated Apr 2, 2026Apr 2, 2026

• stubparser

  Public
  Reads stub files for the Checker Framework

  Java

  •

  Other

  •1.2k•5•0•2•Updated Apr 2, 2026Apr 2, 2026

• commons-csv

  Public
  Mirror of Apache Commons CSV

  Java

  •

  Apache License 2.0

  •295•0•0•0•Updated Apr 2, 2026Apr 2, 2026

• arodnap

  Public
  HTML

  •0•1•0•0•Updated Apr 2, 2026Apr 2, 2026

• guava

  Public
  Google Core Libraries for Java 6+

  Java

  •

  Apache License 2.0

  •11k•1•0•0•Updated Mar 27, 2026Mar 27, 2026

• 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•0•Updated Mar 24, 2026Mar 24, 2026

• checker-framework-gradle-plugin

  Public
  Kotlin

  •

  Apache License 2.0

  •3•1•2•3•Updated Mar 23, 2026Mar 23, 2026

• asm

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

  Java

  •

  Other

  •1•0•0•1•Updated Mar 9, 2026Mar 9, 2026

• jdk

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

  Java

  •

  GNU General Public License v2.0

  •6.3k•4•0•10•Updated Mar 8, 2026Mar 8, 2026

• jdk21u

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

  Java

  •

  GNU General Public License v2.0

  •179•0•0•0•Updated Feb 19, 2026Feb 19, 2026

• wpi-test-bibtex-clean

  Public
  Clean a BibTeX file by removing text outside BibTeX entries

  Java

  •

  MIT License

  •9•0•0•0•Updated Feb 10, 2026Feb 10, 2026

• wpi-test-html-pretty-print

  Public
  HTML pretty-printer using Tagsoup

  Java

  •

  MIT License

  •11•0•0•0•Updated Feb 10, 2026Feb 10, 2026

• wpi-test-bcel-util

  Public
  Utility routines for working with the BCEL bytecode engineering library

  Java

  •

  MIT License

  •14•0•0•0•Updated Feb 10, 2026Feb 10, 2026

• commons-bcel

  Public
  Mirror of Apache Commons BCEL

  Java

  •

  Apache License 2.0

  •132•0•0•0•Updated Jan 30, 2026Jan 30, 2026

• checker-framework.demos

  Public
  Demos for the Checker Framework

  Java

  •9•5•0•0•Updated Jan 30, 2026Jan 30, 2026

• jdk17u

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

  Java

  •

  GNU General Public License v2.0

  •199•0•0•0•Updated Nov 17, 2025Nov 17, 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

  •718•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.7k•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

  •323•0•0•0•Updated Aug 25, 2023Aug 25, 2023

• jdk20u

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

  Java

  •

  GNU General Public License v2.0

  •40•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…

  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

  •205•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