typetools/javarifier

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

typetools/javarifier

typetools

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

Inference of Javari reference immutability types for Java

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

checker-framework.demos

Demos for the Checker Framework

templatefora-checker

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