Explore @typetools Open Source projects

@typetools

typetools

Stars
1,037
Global Org. Rank 14,961 (Top 5 %)
Registered over 9 years ago
Most used languages

Java
100.0 %

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

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.