typetools/checker-framework.demos

Stars
5
Rank 2,861,937 (Top 57 %)
Language
Java
Created over 9 years ago
Updated over 1 year ago

typetools/checker-framework.demos

typetools

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Demos for the Checker Framework

checker-framework

Pluggable type-checking for Java

annotation-tools

Tools for type annotations in Java

sparta

Static Program Analysis for Reliable Trusted Apps

checker-framework-inference

Inference of pluggable types for Java

javarifier

Inference of Javari reference immutability types for Java

templatefora-checker

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