#

checkerframework

Here are 5 public repositories matching this topic...

helenjim95 / Wi-Fi-Encryption

annotations inheritance generics object-oriented-programming checkerframework

Updated Dec 30, 2022
Java

dilraj45 / commons-cli

Version of Apache Commons CLI annotated for Nullness Checker in checker-framework

checkerframework

Updated Mar 26, 2018
Java

helenjim95 / Gnome-Sorting

object-oriented-programming checkerframework

Updated Dec 30, 2022
Java

tmtron / checkerfw-test

testproject for the checkerframework

java checkerframework

Updated Sep 18, 2017
Java

topnessman / immutability-example

A repository to store examples that helps developing object immutability type system

research immutability typesystem checkerframework object-immutability reference-immutability

Updated Feb 28, 2018

Improve this page

Add a description, image, and links to the checkerframework topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the checkerframework topic, visit your repo's landing page and select "manage topics."