Managed Projects

Checker Framework

  Analyzed about 21 hours 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.

251K lines of code

26 current contributors

4 days since last commit

0 users on Open Hub

High Activity
0.0
 
I Use This

Javarifier

  Analyzed about 19 hours 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] converts Java programs and libraries to Javari. [Less]

242K lines of code

0 current contributors

about 7 years since last commit

0 users on Open Hub

Inactive
0.0
 
I Use This

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] to acquire overview documentation, so you should browse to see what is available. [Less]

30.2K lines of code

2 current contributors

over 4 years since last commit

0 users on Open Hub

Inactive
0.0
 
I Use This