mcoblenz / GlacierLinks
Glacier is a type annotation extension to Java that enforces transitive class immutability.
☆13Updated 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)☆31Updated this week
- Property-based test framework☆82Updated 2 months ago
- Reproducible Central: rebuild instructions for artifacts published to (Maven) Central Repository☆129Updated this week
- Examples on how to use the Spoon Java source code transformation library☆91Updated 3 years ago
- Gradle plugin to use the Checker Framework for Java☆70Updated 2 weeks ago
- https://openjdk.org/projects/code-tools/jtreg☆67Updated 2 weeks ago
- Starlasu - A Language Engineering Framework☆114Updated this week
- xtext-xtend☆106Updated 2 years ago
- Developer kit for implementing Domain Specific Languages with Xtext. Format, Check, Export and Scope languages of DSL Developer Kit stand…☆44Updated 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 2 weeks ago
- FUP2 https://github.com/oracle-actions/setup-java☆27Updated 3 years ago
- A SpotBugs/FindBugs plugin to verify usage of SLF4J☆77Updated 2 years ago
- A tool to visualize API changes timeline of a Java library☆54Updated 4 years ago
- Apache Commons Graph (Sandbox)☆36Updated this week
- ☆26Updated 2 weeks ago
- Tools for type annotations in Java☆40Updated 4 months ago
- MPS-extensions aims to ease language development within MPS.☆86Updated this week
- xtext-eclipse☆49Updated 2 years ago
- OpenRewrite recipes for identifying and fixing static analysis issues.☆49Updated this week
- ☕️ JAR file analyzer☆99Updated 2 months 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…☆163Updated this week
- Minimal Maven reusable one-stop shop library☆48Updated 2 weeks ago
- A suite of libraries that simplify creating and unit testing annotation processors.☆45Updated 3 weeks ago
- An Example for an Xtext Language Server☆55Updated 2 years ago
- OpenRewrite recipes that perform common Java testing migration tasks.☆89Updated this week
- Command-line API for Atlassian JIRA using the Tomitribe CREST library☆13Updated 4 years ago
- Maven plugin that makes sure that Maven dependency are not accidentaly changed.☆70Updated last month
- Pluggable type-checking for Java☆23Updated this week
- A candidate indexed, linked list data structure for OpenJDK.☆17Updated 4 months ago
- 🦉 Maven POM syntax checker☆70Updated 3 months ago