Repositories list

• checker-framework

  Public
  Pluggable type-checking for Java

  javatypesverification

  Java

  •

  Other

  •357•1k•378•17•Updated Jan 23, 2025Jan 23, 2025

• annotation-tools

  Public
  Tools for type annotations in Java

  Java

  •

  MIT License

  •34•38•33•2•Updated Jan 22, 2025Jan 22, 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.6k•0•0•0•Updated Jan 22, 2025Jan 22, 2025

• stubparser

  Public
  Reads stub files for the Checker Framework

  Java

  •

  Other

  •1.2k•3•0•2•Updated Jan 20, 2025Jan 20, 2025

• asm

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

  Java

  •

  Other

  •0•0•0•1•Updated Jan 11, 2025Jan 11, 2025

• templatefora-checker

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

  Java

  •

  MIT License

  •7•3•1•0•Updated Jan 3, 2025Jan 3, 2025

• jdk

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

  Java

  •

  GNU General Public License v2.0

  •5.7k•3•0•6•Updated Jan 2, 2025Jan 2, 2025

• commons-csv

  Public
  Mirror of Apache Commons CSV

  Java

  •

  Apache License 2.0

  •273•0•0•0•Updated Nov 23, 2024Nov 23, 2024

• commons-io

  Public
  Mirror of Apache Commons IO

  Java

  •

  Apache License 2.0

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

• guava

  Public
  Google Core Libraries for Java 6+

  Java

  •

  Apache License 2.0

  •11k•1•0•0•Updated Aug 5, 2024Aug 5, 2024

• jdk17u

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

  Java

  •

  GNU General Public License v2.0

  •167•0•0•0•Updated Jul 15, 2024Jul 15, 2024

• checker-framework.demos

  Public
  Demos for the Checker Framework

  Java

  •9•5•0•0•Updated Jul 5, 2024Jul 5, 2024

• commons-bcel

  Public
  Mirror of Apache Commons BCEL

  Java

  •

  Apache License 2.0

  •127•0•0•0•Updated Feb 9, 2024Feb 9, 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.5k•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

  •22•0•0•0•Updated Jan 27, 2024Jan 27, 2024

• breadwallet-core

  Public
  SPV bitcoin C library

  C

  •

  MIT License

  •326•0•0•0•Updated Aug 25, 2023Aug 25, 2023

• jdk20u

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

  Java

  •

  GNU General Public License v2.0

  •42•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.6k•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

  •192•0•0•0•Updated Jun 29, 2022Jun 29, 2022

• logging-log4j1

  Public
  Apache log4j1

  Java

  •

  Apache License 2.0

  •573•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.3k•0•0•3•Updated Jul 3, 2020Jul 3, 2020

• commons-math

  Public
  Apache Commons Math

  Java

  •

  Apache License 2.0

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

• commons-lang

  Public
  Mirror of Apache Commons Lang

  Java

  •

  Apache License 2.0

  •1.6k•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

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

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

• sparta

  Public
  Static Program Analysis for Reliable Trusted Apps

  Java

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

• jfreechart

  Public
  A 2D chart library for Java applications (JavaFX, Swing or server-side).

  Java

  •

  GNU Lesser General Public License v2.1

  •486•0•0•1•Updated Jun 7, 2018Jun 7, 2018