Repositories list

• checker-framework

  Public
  Pluggable type-checking for Java

  javatypesverification

  javatypesverification

  Java

  •

  Other

  •440440 forks in typetools/checker-framework•1.2k1.2k stars in typetools/checker-framework•361361 issues in typetools/checker-framework•7070 pull requests in typetools/checker-framework•Updated Oct 31, 2026Oct 31, 2026

• checker-framework-gradle-plugin

  Public

  typetools/checker-framework-gradle-plugin’s past year of commit activity
  Kotlin

  •

  Apache License 2.0

  •44 forks in typetools/checker-framework-gradle-plugin•55 stars in typetools/checker-framework-gradle-plugin•33 issues in typetools/checker-framework-gradle-plugin•22 pull requests in typetools/checker-framework-gradle-plugin•Updated Oct 29, 2026Oct 29, 2026

• stubparser

  Public

  typetools/stubparser’s past year of commit activity
  Reads stub files for the Checker Framework

  Java

  •

  Other

  •1.3k1.3k forks in typetools/stubparser•55 stars in typetools/stubparser•00 issues in typetools/stubparser•11 pull request in typetools/stubparser•Updated Oct 28, 2026Oct 28, 2026

• arodnap

  Public

  typetools/arodnap’s past year of commit activity
  Java

  •

  MIT License

  •00 forks in typetools/arodnap•11 star in typetools/arodnap•00 issues in typetools/arodnap•00 pull requests in typetools/arodnap•Updated Oct 27, 2026Oct 27, 2026

• asm

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

  Java

  •

  Other

  •22 forks in typetools/asm•22 stars in typetools/asm•00 issues in typetools/asm•11 pull request in typetools/asm•Updated Oct 20, 2026Oct 20, 2026

• templatefora-checker

  Public template

  typetools/templatefora-checker’s past year of commit activity
  A template for a Checker Framework checker hosted outside the main typetools/checker-framework repository.

  Java

  •

  MIT License

  •88 forks in typetools/templatefora-checker•33 stars in typetools/templatefora-checker•11 issue in typetools/templatefora-checker•00 pull requests in typetools/templatefora-checker•Updated Oct 20, 2026Oct 20, 2026

• commons-bcel

  Public

  typetools/commons-bcel’s past year of commit activity
  Mirror of Apache Commons BCEL

  Java

  •

  Apache License 2.0

  •142142 forks in typetools/commons-bcel•00 stars in typetools/commons-bcel•00 issues in typetools/commons-bcel•00 pull requests in typetools/commons-bcel•Updated Oct 16, 2026Oct 16, 2026

• beam

  Public

  typetools/beam’s past year of commit activity
  Apache Beam is a unified programming model for Batch and Streaming data processing.

  Java

  •

  Apache License 2.0

  •4.8k4.8k forks in typetools/beam•00 stars in typetools/beam•00 issues in typetools/beam•00 pull requests in typetools/beam•Updated Oct 9, 2026Oct 9, 2026

• jdk

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

  Java

  •

  GNU General Public License v2.0

  •6.6k6.6k forks in typetools/jdk•55 stars in typetools/jdk•00 issues in typetools/jdk•1111 pull requests in typetools/jdk•Updated Oct 8, 2026Oct 8, 2026

• jdk21u

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

  Java

  •

  GNU General Public License v2.0

  •200200 forks in typetools/jdk21u•00 stars in typetools/jdk21u•00 issues in typetools/jdk21u•00 pull requests in typetools/jdk21u•Updated Oct 3, 2026Oct 3, 2026

• commons-csv

  Public
  Mirror of Apache Commons CSV

  Java

  •

  Apache License 2.0

  •312312 forks in typetools/commons-csv•00 stars in typetools/commons-csv•00 issues in typetools/commons-csv•22 pull requests in typetools/commons-csv•Updated Sep 29, 2026Sep 29, 2026

• jdk25u

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

  Java

  •

  GNU General Public License v2.0

  •168168 forks in typetools/jdk25u•00 stars in typetools/jdk25u•00 issues in typetools/jdk25u•00 pull requests in typetools/jdk25u•Updated Sep 26, 2026Sep 26, 2026

• junit5

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

  Java

  •

  Eclipse Public License 2.0

  •1.7k1.7k forks in typetools/junit5•00 stars in typetools/junit5•00 issues in typetools/junit5•33 pull requests in typetools/junit5•Updated Sep 25, 2026Sep 25, 2026

• commons-io

  Public
  Mirror of Apache Commons IO

  Java

  •

  Apache License 2.0

  •755755 forks in typetools/commons-io•11 star in typetools/commons-io•00 issues in typetools/commons-io•22 pull requests in typetools/commons-io•Updated Sep 21, 2026Sep 21, 2026

• guava

  Public
  Google Core Libraries for Java 6+

  Java

  •

  Apache License 2.0

  •11k11k forks in typetools/guava•11 star in typetools/guava•00 issues in typetools/guava•00 pull requests in typetools/guava•Updated Jul 29, 2026Jul 29, 2026

• wpi-test-bibtex-clean

  Public
  Clean a BibTeX file by removing text outside BibTeX entries

  Java

  •

  MIT License

  •99 forks in typetools/wpi-test-bibtex-clean•00 stars in typetools/wpi-test-bibtex-clean•00 issues in typetools/wpi-test-bibtex-clean•00 pull requests in typetools/wpi-test-bibtex-clean•Updated Feb 10, 2026Feb 10, 2026

• wpi-test-html-pretty-print

  Public
  HTML pretty-printer using Tagsoup

  Java

  •

  MIT License

  •1111 forks in typetools/wpi-test-html-pretty-print•00 stars in typetools/wpi-test-html-pretty-print•00 issues in typetools/wpi-test-html-pretty-print•00 pull requests in typetools/wpi-test-html-pretty-print•Updated Feb 10, 2026Feb 10, 2026

• wpi-test-bcel-util

  Public
  Utility routines for working with the BCEL bytecode engineering library

  Java

  •

  MIT License

  •1414 forks in typetools/wpi-test-bcel-util•00 stars in typetools/wpi-test-bcel-util•00 issues in typetools/wpi-test-bcel-util•00 pull requests in typetools/wpi-test-bcel-util•Updated Feb 10, 2026Feb 10, 2026

• checker-framework.demos

  Public
  Demos for the Checker Framework

  Java

  •99 forks in typetools/checker-framework.demos•55 stars in typetools/checker-framework.demos•00 issues in typetools/checker-framework.demos•00 pull requests in typetools/checker-framework.demos•Updated Jan 30, 2026Jan 30, 2026

• jdk17u

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

  Java

  •

  GNU General Public License v2.0

  •215215 forks in typetools/jdk17u•00 stars in typetools/jdk17u•00 issues in typetools/jdk17u•00 pull requests in typetools/jdk17u•Updated Nov 17, 2025Nov 17, 2025

• annotation-tools

  Public archive
  Tools for type annotations in Java

  Java

  •

  MIT License

  •3535 forks in typetools/annotation-tools•4141 stars in typetools/annotation-tools•3333 issues in typetools/annotation-tools•11 pull request in typetools/annotation-tools•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.8k1.8k forks in typetools/logging-log4j2•00 stars in typetools/logging-log4j2•00 issues in typetools/logging-log4j2•00 pull requests in typetools/logging-log4j2•Updated Jun 2, 2025Jun 2, 2025

• java-getopt

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

  Java

  •2020 forks in typetools/java-getopt•00 stars in typetools/java-getopt•00 issues in typetools/java-getopt•00 pull requests in typetools/java-getopt•Updated Jan 27, 2024Jan 27, 2024

• breadwallet-core

  Public
  SPV bitcoin C library

  C

  •

  MIT License

  •318318 forks in typetools/breadwallet-core•00 stars in typetools/breadwallet-core•00 issues in typetools/breadwallet-core•00 pull requests in typetools/breadwallet-core•Updated Aug 25, 2023Aug 25, 2023

• jdk20u

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

  Java

  •

  GNU General Public License v2.0

  •4242 forks in typetools/jdk20u•00 stars in typetools/jdk20u•00 issues in typetools/jdk20u•00 pull requests in typetools/jdk20u•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.8k1.8k forks in typetools/logging-log4j2-old•00 stars in typetools/logging-log4j2-old•00 issues in typetools/logging-log4j2-old•00 pull requests in typetools/logging-log4j2-old•Updated Nov 17, 2022Nov 17, 2022

• junit4

  Public
  A programmer-oriented testing framework for Java.

  Java

  •

  Eclipse Public License 1.0

  •3.2k3.2k forks in typetools/junit4•00 stars in typetools/junit4•00 issues in typetools/junit4•00 pull requests in typetools/junit4•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

  •210210 forks in typetools/jdk11u•00 stars in typetools/jdk11u•00 issues in typetools/jdk11u•00 pull requests in typetools/jdk11u•Updated Jun 29, 2022Jun 29, 2022

• logging-log4j1

  Public
  Apache log4j1

  Java

  •

  Apache License 2.0

  •572572 forks in typetools/logging-log4j1•00 stars in typetools/logging-log4j1•00 issues in typetools/logging-log4j1•00 pull requests in typetools/logging-log4j1•Updated Jan 17, 2022Jan 17, 2022

• checker-framework-inference

  Public
  Inference of pluggable types for Java

  Java

  •3333 forks in typetools/checker-framework-inference•1010 stars in typetools/checker-framework-inference•1010 issues in typetools/checker-framework-inference•11 pull request in typetools/checker-framework-inference•Updated Jun 25, 2021Jun 25, 2021