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)☆32Updated 3 weeks ago
- Property-based test framework☆82Updated 3 months ago
- Gradle plugin to use the Checker Framework for Java☆71Updated last month
- ☆26Updated last week
- MPS-extensions aims to ease language development within MPS.☆86Updated this week
- xtext-xtend☆106Updated 2 years ago
- A retrofit compiler for Java☆36Updated 2 years ago
- Reproducible Central: rebuild instructions for artifacts published to (Maven) Central Repository☆130Updated this week
- Starlasu - A Language Engineering Framework☆114Updated 3 weeks ago
- https://openjdk.org/projects/code-tools/jtreg☆67Updated this week
- A SpotBugs/FindBugs plugin to verify usage of SLF4J☆77Updated 2 years ago
- Pre-packaged builds of Monocle (OpenJFX)☆51Updated last year
- Developer kit for implementing Domain Specific Languages with Xtext. Format, Check, Export and Scope languages of DSL Developer Kit stand…☆44Updated last week
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆164Updated this week
- A candidate indexed, linked list data structure for OpenJDK.☆17Updated last week
- A Gradle plugin to use dependencies from 'module-info.java' files.☆54Updated last 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 last month
- Examples on how to use the Spoon Java source code transformation library☆92Updated 3 years ago
- Lightweight and type-safe parser combinators for Java.☆38Updated last month
- 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 3 weeks ago
- Write sandboxed integration tests for Java annotation processors and plugins.☆21Updated 2 weeks ago
- Pluggable type-checking for Java☆25Updated 2 weeks ago
- The Next Generation Logic Library☆149Updated 4 months ago
- Instrument instrumenting agents to see how they transform classes☆31Updated 2 weeks ago
- ☆72Updated last week
- Tools for type annotations in Java☆40Updated 5 months ago
- OpenRewrite recipes for identifying and fixing static analysis issues.☆50Updated this week
- Collection of maven plugins, extensions and other generally useful artifacts☆14Updated 2 years ago
- Material for lectures on software product lines☆15Updated 3 weeks ago