mcoblenz / Glacier
Glacier is a type annotation extension to Java that enforces transitive class immutability.
☆13Updated 3 years ago
Alternatives and similar repositories for Glacier:
Users that are interested in Glacier are comparing it to the libraries listed below
- Pluggable type-checking for Java☆20Updated this week
- The reference implementation for the JSpecify nullness specification (and later, its other specifications as well)☆29Updated 2 months ago
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆150Updated 3 weeks ago
- Sandwood - A JVM based Java like Probabilistic Programming Language☆26Updated 4 months ago
- The CongoCC Parser Generator, the Next Generation of JavaCC 21, which in turn was the next generation of JavaCC☆40Updated last month
- A candidate indexed, linked list data structure for OpenJDK.☆17Updated 3 months ago
- Recaffeinating Java ☕️ with custom semantics and extensions☆51Updated 2 years ago
- An extension to the Java type system to catch badly-behaving builder patterns☆12Updated 2 years ago
- FUP2 https://github.com/oracle-actions/setup-java☆27Updated 2 years ago
- a mutation testing engine for Java based on mutant schemata / metamutants / metaprogramming☆18Updated 2 years ago
- Tools for type annotations in Java☆38Updated 2 weeks ago
- ☆17Updated 2 weeks ago
- Java EditorConfig Parser☆25Updated 5 months ago
- Examples on how to use the Spoon Java source code transformation library☆86Updated 2 years ago
- This repository has been rewritten to move to the Eclipse Foundation. Find the old history here: https://github.com/TypeFox/Xpect☆34Updated last week
- "How to Specify it" in Java and jqwik☆24Updated 3 years ago
- https://openjdk.org/projects/tsan☆27Updated this week
- JAYield - Java yield like generator☆11Updated 4 years ago
- An ANTLR language for MPS, and the ToMPS language to help create MPS languages and ANTRL visitors from an ANTLR 4 grammar.☆25Updated 7 years ago
- Java annotation processor for automatically delegating interface APIs to a composed instance of that interface☆14Updated this week
- Instrument instrumenting agents to see how they transform classes☆20Updated 2 weeks ago
- MPS-extensions aims to ease language development within MPS.☆85Updated this week
- Property-based test framework☆80Updated 2 years ago
- ☆20Updated 3 years ago
- Automatic code rewriting for AssertJ using error-prone and refaster☆16Updated this week
- A Java app that reports on dependency conflicts based on Maven dependencies☆27Updated last year
- ☆22Updated 8 years ago
- ☆15Updated 2 years ago
- A set of Gradle plugins that enable the use of jlink in Gradle builds☆17Updated this week