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)☆35Updated 2 months ago
- Property-based test framework☆82Updated 4 months ago
- https://openjdk.org/projects/code-tools/jtreg☆68Updated this week
- Gradle plugin to use the Checker Framework for Java☆72Updated 3 weeks ago
- A Gradle plugin to use dependencies from 'module-info.java' files.☆56Updated this week
- Reproducible Central: rebuild instructions for artifacts published to (Maven) Central Repository☆135Updated this week
- Starlasu - A Language Engineering Framework☆115Updated this week
- An IntelliJ IDEA plugin that detects refactorings in Git commits☆109Updated 2 years ago
- OpenRewrite recipes for identifying and fixing static analysis issues.☆51Updated last week
- ☕️ JAR file analyzer☆103Updated 5 months ago
- FUP2 https://github.com/oracle-actions/setup-java☆27Updated 3 years 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…☆206Updated 2 months ago
- OpenJDK Developers' Guide https://openjdk.org/guide☆59Updated last week
- Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033☆97Updated this week
- Experimental JUnit Jupiter Extension for writing integration tests for Maven plugins/Maven extensions/Maven Core☆101Updated last month
- JavaCC☆75Updated 8 months ago
- Automated templating using code snippets.☆16Updated last week
- Write sandboxed integration tests for Java annotation processors and plugins.☆21Updated last week
- Gradle plugin to turn JVM Test Suites into Blackbox or Whitebox Test Suite for Java Modules☆23Updated this week
- A suite of libraries that simplify creating and unit testing annotation processors.☆45Updated 3 weeks ago
- 🦉 Maven POM syntax checker☆70Updated 5 months ago
- OpenRewrite recipes that perform common Java testing migration tasks.☆90Updated this week
- List of Errorprone Checkers and Plugins☆16Updated 5 years ago
- TestNG Engine for the JUnit Platform☆32Updated last week
- Apache Commons Graph (Sandbox)☆41Updated last week
- Pluggable type-checking for Java☆27Updated this week
- ☆72Updated last week
- A tool for finding assumptions on APIs with under-determined specifications.☆58Updated last month
- Maven plugin to handle multi module projects for PiTest☆50Updated 2 years ago
- Minimal Maven reusable one-stop shop library☆50Updated 2 weeks ago