Repositories list

• security-demo

  Public
  Demo type system with a simple security lattice.

  Java

  •5•0•0•2•Updated Jan 23, 2026Jan 23, 2026

• checker-framework

  Public
  Pluggable type-checking for Java

  Java

  •

  Other

  •434•0•3•14•Updated Jul 12, 2025Jul 12, 2025

• universe

  Public
  Generic Universe Type System

  Java

  •

  Other

  •10•1•4•9•Updated Nov 19, 2024Nov 19, 2024

• checker-framework-inference

  Public
  Inference of pluggable types for Java

  Java

  •33•5•60•31•Updated Sep 30, 2024Sep 30, 2024

• ontology

  Public
  Java

  •9•1•3•4•Updated Jul 19, 2024Jul 19, 2024

• jdk

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

  Java

  •

  GNU General Public License v2.0

  •6.2k•0•0•1•Updated Jul 18, 2024Jul 18, 2024

• immutability

  Public
  The Practical Immutability for Classes and Objects (PICO) type system enforces transitive class and object immutability

  Java

  •

  Other

  •5•2•13•11•Updated Jun 27, 2024Jun 27, 2024

• do-like-javac

  Public
  Python

  •

  Other

  •22•0•1•3•Updated May 29, 2024May 29, 2024

• annotation-tools

  Public
  Tools for type annotations in Java

  Java

  •

  MIT License

  •35•0•0•10•Updated Apr 23, 2024Apr 23, 2024

• stubparser

  Public
  Reads stub files for the Checker Framework

  Java

  •

  Other

  •1.2k•0•0•6•Updated Apr 7, 2024Apr 7, 2024

• opprop.github.io

  Public
  OpProp website

  GNU General Public License v2.0

  •0•0•0•0•Updated Oct 25, 2022Oct 25, 2022

• value-inference

  Public
  Java

  •

  GNU General Public License v2.0

  •3•2•0•3•Updated Feb 10, 2022Feb 10, 2022

• units-inference

  Public
  Java

  •

  GNU General Public License v2.0

  •3•0•0•6•Updated Jan 26, 2022Jan 26, 2022

• corpus-utils

  Public
  A repository holds util scripts for automating common processes running on a corpus.

  Python

  •1•0•0•0•Updated Feb 15, 2021Feb 15, 2021

• cast-checker

  Public
  Java

  •

  GNU General Public License v2.0

  •0•0•0•0•Updated Oct 1, 2020Oct 1, 2020

• DemoProject4TestMinimizer

  Public
  Foo Project for demo delta debugger for CF and CFI.

  Java

  •0•0•0•0•Updated Jan 15, 2020Jan 15, 2020

• ReadChecker

  Public
  Java

  •2•1•0•0•Updated Nov 9, 2019Nov 9, 2019

• webproject

  Public
  Python

  •1•0•0•0•Updated Sep 6, 2017Sep 6, 2017

• generic-type-inference-solver

  Public
  Java

  •

  GNU General Public License v2.0

  •5•0•0•2•Updated Aug 7, 2017Aug 7, 2017

• automation-script

  Public
  Python

  •0•0•0•0•Updated Jul 14, 2017Jul 14, 2017

• multiDeclRefactor

  Public
  Python

  •0•0•1•0•Updated Jun 26, 2017Jun 26, 2017