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)☆29Updated last month
- Property-based test framework☆82Updated last week
- Reproducible Central: rebuild instructions for artifacts published to (Maven) Central Repository☆125Updated 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
- ☆22Updated last week
- xtext-xtend☆106Updated 2 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…☆202Updated 4 months ago
- xtext-eclipse☆49Updated 2 years ago
- Kotlin Language Support – AST Library☆113Updated this week
- https://openjdk.org/projects/code-tools/jtreg☆64Updated 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…☆160Updated last month
- Gradle plugin to use the Checker Framework for Java☆70Updated last week
- Examples on how to use the Spoon Java source code transformation library☆90Updated 3 years ago
- Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033☆97Updated 2 weeks ago
- An Example for an Xtext Language Server☆55Updated 2 years ago
- ☆69Updated this week
- A tool to visualize API changes timeline of a Java library☆54Updated 3 years ago
- A SpotBugs/FindBugs plugin to verify usage of SLF4J☆76Updated 2 years ago
- Minimal Maven reusable one-stop shop library☆44Updated this week
- A candidate indexed, linked list data structure for OpenJDK.☆17Updated 2 months ago
- JUnit 5 test framework support for Pitest☆75Updated 3 months ago
- Pluggable type-checking for Java☆23Updated this week
- A Java build tool that works seamlessly with modules☆104Updated 4 years ago
- ☕️ JAR file analyzer☆99Updated 3 weeks ago
- An implementation of the Build Server Protocol for Gradle☆68Updated 2 weeks ago
- Automatically detect and generate missing assertions for Junit test cases (also known as test amplification)☆118Updated last year
- Implementing the sieve of Eratosthenes in various languages to demonstrate power of GraalVM and Truffle☆28Updated 2 years ago
- An IntelliJ IDEA plugin that detects refactorings in Git commits☆108Updated last year
- Solutions to common troubles with Java's module system☆25Updated last year
- Testing support for OSGi. Includes JUnit 4 and JUnit 5 support and AssertJ support.☆44Updated this week