kelloggm/checkerframework-gradle-plugin kelloggm/checkerframework-gradle-plugin

  • Stars
    star
    51
  • Rank 521,790 (Top 12 %)
  • Language
    Groovy
  • License
    Apache License 2.0
  • Created almost 5 years ago
  • Updated 5 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kelloggm/checkerframework-gradle-plugin
github

kelloggm

Reviews

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

Repository Details

Gradle plugin to use the Checker Framework for Java

More Repositories

1

object-construction-checker

An extension to the Java type system to catch badly-behaving builder patterns
Java
13
star
2

paper-template

TeX
4
star
3

kodellama2

Interpreter for the Kodellama language that we have created. Project for CS4240 Fall 2014 at UVA.
Coq
2
star
4

summer

C
1
star
5

dux

Java
1
star
6

CoffeeMaker

Java
1
star
7

STS2500

1
star
8

icse2020-verifying-object-construction-aec

Shell
1
star