typetools/sparta

Stars
21
Rank 1,084,038 (Top 22 %)
Language
Java
Created about 9 years ago
Updated almost 6 years ago

typetools/sparta

typetools

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

Static Program Analysis for Reliable Trusted Apps

checker-framework

Pluggable type-checking for Java

annotation-tools

Tools for type annotations in Java

checker-framework-inference

Inference of pluggable types for Java

javarifier

Inference of Javari reference immutability 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.