typetools/checker-framework-inference typetools/checker-framework-inference

  • Stars
    star
    10
  • Rank 1,807,489 (Top 36 %)
  • Language
    Java
  • Created over 9 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
typetools/checker-framework-inference
github

typetools

Reviews

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

Repository Details

Inference of pluggable types for Java

More Repositories

1

checker-framework

Pluggable type-checking for Java
Java
950
star
2

annotation-tools

Tools for type annotations in Java
Java
36
star
3

sparta

Static Program Analysis for Reliable Trusted Apps
Java
21
star
4

javarifier

Inference of Javari reference immutability types for Java
Java
5
star
5

checker-framework.demos

Demos for the Checker Framework
Java
5
star
6

templatefora-checker

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