e2immu

e2immu's repositories

The e2immu project: effective and eventual immutability: annotations and a code analyser

Language:JavaLGPL-3.010 3 61

The annotation store is the interface between the e2immu analyser and IDEs such as IntelliJ IDEA

Language:JavaLGPL-3.002 1

Documentation of the e2immu static code analyser.

Language:HTMLLGPL-3.002 1

IntelliJ IDEA plugin for the e2immu static code analyser

Language:JavaLGPL-3.0000

website for the e2immu projects

Language:HTMLNOASSERTION000

Support classes and annotations for the e2immu static code analyser

Language:JavaLGPL-3.001 1

website for e2immu projects

Language:HTML030

e2immu applied to the Immutables library

Language:Java000