mcoblenz / GlacierLinks
Glacier is a type annotation extension to Java that enforces transitive class immutability.
☆14Updated 3 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)☆27Updated last week
- Reproducible Central: rebuild instructions for artifacts published to (Maven) Central Repository☆123Updated this week
- Gradle plugin to use the Checker Framework for Java☆70Updated this week
- Property-based test framework☆82Updated 2 years ago
- xtext-xtend☆106Updated 2 years ago
- A candidate indexed, linked list data structure for OpenJDK.☆17Updated last month
- https://openjdk.org/projects/code-tools/jtreg☆63Updated this week
- 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…☆202Updated 4 months ago
- Tools for type annotations in Java☆40Updated last month
- Examples on how to use the Spoon Java source code transformation library☆90Updated 2 years ago
- A Gradle plugin to use dependencies from 'module-info.java' files.☆54Updated this week
- ☕️ JAR file analyzer☆98Updated last year
- An IntelliJ IDEA plugin that detects refactorings in Git commits☆108Updated last year
- A suite of libraries that simplify creating and unit testing annotation processors.☆45Updated 2 weeks ago
- Automatic code rewriting for AssertJ using error-prone and refaster☆18Updated this week
- Maven plugin that makes sure that Maven dependency are not accidentaly changed.☆70Updated last week
- A SpotBugs/FindBugs plugin to verify usage of SLF4J☆76Updated 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…☆160Updated last month
- Keep your gradle builds dry 干☆28Updated 3 months ago
- xtext-eclipse☆49Updated 2 years ago
- An Error Prone plugin for SLF4J☆32Updated this week
- Write sandboxed integration tests for Java annotation processors and plugins.☆19Updated this week
- OpenJDK Developers' Guide https://openjdk.org/guide☆58Updated last week
- FUP2 https://github.com/oracle-actions/setup-java☆27Updated 3 years ago
- Solutions to common troubles with Java's module system☆25Updated last year
- EGradle is a lightweight gradle integration for eclipse☆27Updated 10 months ago
- https://openjdk.org/projects/valhalla☆60Updated last year
- A retrofit compiler for Java☆37Updated last year
- Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033☆96Updated last week
- Experimental JUnit Jupiter Extension for writing integration tests for Maven plugins/Maven extensions/Maven Core☆96Updated 3 months ago