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)☆30Updated last month
- Reproducible Central: rebuild instructions for artifacts published to (Maven) Central Repository☆126Updated this week
- Property-based test framework☆82Updated last month
- Gradle plugin to use the Checker Framework for Java☆71Updated 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…☆204Updated 5 months ago
- Tools for type annotations in Java☆40Updated 3 months ago
- https://openjdk.org/projects/code-tools/jtreg☆66Updated 2 weeks ago
- xtext-xtend☆106Updated 2 years ago
- ☆69Updated this week
- Developer kit for implementing Domain Specific Languages with Xtext. Format, Check, Export and Scope languages of DSL Developer Kit stand…☆45Updated this week
- A SpotBugs/FindBugs plugin to verify usage of SLF4J☆76Updated 2 years ago
- Minimal Maven reusable one-stop shop library☆45Updated last week
- Apache Commons Graph (Sandbox)☆36Updated this week
- Write sandboxed integration tests for Java annotation processors and plugins.☆19Updated last week
- ☆23Updated 2 weeks ago
- A Gradle plugin to use dependencies from 'module-info.java' files.☆54Updated last week
- An Error Prone plugin for SLF4J☆32Updated 3 weeks ago
- An IntelliJ IDEA plugin that detects refactorings in Git commits☆108Updated last year
- JUnit 5 test framework support for Pitest☆76Updated 4 months ago
- Examples on how to use the Spoon Java source code transformation library☆90Updated 3 years ago
- FUP2 https://github.com/oracle-actions/setup-java☆27Updated 3 years ago
- Testing support for OSGi. Includes JUnit 4 and JUnit 5 support and AssertJ support.☆44Updated last week
- A candidate indexed, linked list data structure for OpenJDK.☆17Updated 3 months ago
- xtext-eclipse☆49Updated 2 years ago
- Tool to detect and visualise class and package cycles☆40Updated 3 years ago
- Using Apache NetBeans OQL to search heap dump effectively☆18Updated 2 years ago
- Implementing the sieve of Eratosthenes in various languages to demonstrate power of GraalVM and Truffle☆28Updated 2 years ago
- Pluggable type-checking for Java☆23Updated this week
- TestNG Engine for the JUnit Platform☆30Updated this week
- Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033☆97Updated last week