Werner Dietl

I Use This

Licenses: No declared licenses

jsr308-langtools

J

Analyzed about 8 hours ago

The Type Annotations (JSR 308) webpage is http://types.cs.washington.edu/jsr308/ Java 8 will include support for type annotations. The Type Annotations compiler (also called the JSR 308 compiler) is fully backward-compatible. You can use it in place of javac (for Java 8) without any change in ... [More]

290K lines of code

0 current contributors

over 7 years since last commit

0 users on Open Hub

Inactive

I Use This

Licenses: gpl

Tags annotations compiler java

annotation-tools

A

Analyzed 1 day ago

Tools for reading annotations from, and inserting type annotations in, Java source and classfiles. For downloads and documentation, please visit the homepage at http://types.cs.washington.edu/annotation-file-utilities/

32.8K lines of code

6 current contributors

5 months since last commit

0 users on Open Hub

Low Activity

I Use This

Licenses: mit

Checker Framework

Analyzed 1 day ago

The Checker Framework enhances Java's type system to make it more powerful and useful. This lets software developers detect and prevent errors in their Java programs.

290K lines of code

26 current contributors

1 day since last commit

0 users on Open Hub

High Activity

I Use This

Licenses: mit

Tags java pluggable safety staticanalysis typesystem

Javarifier

Analyzed 1 day ago

Javarifier divides the variables in a program into two groups: the variables the program mutates, and the variables that are never mutated. In other words, Javarifier infers the immutability of every reference in a Java program. Javarifier uses Javari's definition of immutability. Thus, Javarifier ... [More]

242K lines of code

0 current contributors

almost 9 years since last commit

0 users on Open Hub

Inactive

I Use This

Licenses: mit

Tags immutability java typeinference typesystem

Daikon

D

Analyzed 1 day ago

Daikon is an implementation of invariant detection. It observes an executing program, then generates a likely specification for that program.

557K lines of code

4 current contributors

1 day since last commit

0 users on Open Hub

Moderate Activity

I Use This

Mostly written in C

Licenses: mit

plume-lib

Analyzed 1 day ago

Plume-lib is a library of useful abstractions for programming. It includes both libraries (written in Java and in Emacs Lisp) and standalone programs (written in a variety of programming languages). Its source code files are generally well-documented, though plume-lib as a whole is only starting ... [More]

30.2K lines of code

2 current contributors

over 6 years since last commit

0 users on Open Hub

Inactive

I Use This

Licenses: mit

Tags argumentprocessor collections emacs java library optionparser text_processing utilities version_control

Type Annotations OpenJDK project

T

No analysis available

JSR 308 (Annotations on Java Types) extends the Java language so that annotations may appear on essentially any use of a type.

0 lines of code

0 current contributors

0 since last commit

0 users on Open Hub

Activity Not Available