mcoblenz / GlacierLinks
Glacier is a type annotation extension to Java that enforces transitive class immutability.
☆14Updated 4 years ago
Alternatives and similar repositories for Glacier
Users that are interested in Glacier are comparing it to the libraries listed below
Sorting:
- The reference implementation for the JSpecify nullness specification (and later, its other specifications as well)☆33Updated last month
- https://openjdk.org/projects/code-tools/jtreg☆67Updated 3 weeks ago
- Property-based test framework☆82Updated 4 months ago
- xtext-xtend☆106Updated 2 years ago
- Reproducible Central: rebuild instructions for artifacts published to (Maven) Central Repository☆131Updated this week
- OpenRewrite recipes for identifying and fixing static analysis issues.☆50Updated this week
- A candidate indexed, linked list data structure for OpenJDK.☆17Updated last month
- xtext-eclipse☆49Updated 2 years ago
- Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033☆98Updated 2 weeks ago
- Revapi is an API analysis and change tracking tool written in Java. Its focus is mainly on Java language itself but it has been specif…☆205Updated 2 months ago
- Gradle plugin to use the Checker Framework for Java☆72Updated this week
- A SpotBugs/FindBugs plugin to verify usage of SLF4J☆77Updated 2 years ago
- ☆29Updated 2 weeks ago
- Examples on how to use the Spoon Java source code transformation library☆92Updated 3 years ago
- ☕️ JAR file analyzer☆99Updated 4 months ago
- ☆72Updated 3 weeks ago
- An IntelliJ IDEA plugin that detects refactorings in Git commits☆109Updated 2 years 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…☆168Updated 2 weeks ago
- JavaCC☆75Updated 7 months ago
- Tools for type annotations in Java☆40Updated 5 months ago
- OpenJDK Developers' Guide https://openjdk.org/guide☆59Updated 3 weeks ago
- Automatic code rewriting for AssertJ using error-prone and refaster☆19Updated this week
- A maven plugin to process annotation from jdk8 and above at compile time☆32Updated 5 months ago
- FUP2 https://github.com/oracle-actions/setup-java☆27Updated 3 years ago
- Experimental JUnit Jupiter Extension for writing integration tests for Maven plugins/Maven extensions/Maven Core☆101Updated last month
- A tool to visualize API changes timeline of a Java library☆54Updated 4 years ago
- ☆51Updated last week
- A Java build tool that works seamlessly with modules☆103Updated 4 years ago
- A retrofit compiler for Java☆36Updated 2 years ago
- Multi-backend EMF persistence framework.☆55Updated 2 months ago