mcoblenz / Glacier
Glacier is a type annotation extension to Java that enforces transitive class immutability.
☆13Updated 3 years ago
Alternatives and similar repositories for Glacier:
Users that are interested in Glacier are comparing it to the libraries listed below
- Pluggable type-checking for Java☆20Updated this week
- A candidate indexed, linked list data structure for OpenJDK.☆17Updated last month
- Developer kit for implementing Domain Specific Languages with Xtext. Format, Check, Export and Scope languages of DSL Developer Kit stand…☆43Updated this week
- The reference implementation for the JSpecify nullness specification (and later, its other specifications as well)☆29Updated last week
- Reproducible Central: rebuild instructions for artifacts published to (Maven) Central Repository☆106Updated this week
- A retrofit compiler for Java☆37Updated last year
- Implementing the vision of an autonomous bot to eliminate code smells through automatic refactoring.☆61Updated last year
- Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033☆92Updated last week
- Automatic code rewriting for AssertJ using error-prone and refaster☆16Updated this week
- PEG parser generator for Java 17 - grammar as algebraic datatypes☆61Updated 3 years ago
- A code refactoring tool for java created with jgit and spoon for small diffs.☆18Updated this week
- ☆20Updated 3 years ago
- assertions for logging with logback☆13Updated last week
- This repository has been rewritten to move to the Eclipse Foundation. Find the old history here: https://github.com/TypeFox/Xpect☆33Updated last week
- A CheckerFramework plugin to detect the use of weak algorithms with the Java crypto API.☆10Updated 3 years ago
- ☆17Updated last month
- Generate GitHub Actions matrix on the fly based on your constraints☆12Updated 9 months ago
- Tools for type annotations in Java☆38Updated last week
- MPS-extensions aims to ease language development within MPS.☆83Updated this week
- Collection of information on JFR events☆18Updated 2 months ago
- xtext-xtend☆103Updated last year
- Instrument instrumenting agents to see how they transform classes☆20Updated 8 months ago
- FUP2 https://github.com/oracle-actions/setup-java☆27Updated 2 years ago
- Recaffeinating Java ☕️ with custom semantics and extensions☆51Updated 2 years ago
- A Java app that reports on dependency conflicts based on Maven dependencies☆27Updated last year
- Flamegraph (Iciclegraph) swing component☆18Updated last week
- Apache Maven Wrapper Plugin☆14Updated 3 years ago
- A bridge for capturing JMX data with JDK Flight Recorder☆17Updated 4 years ago