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
- Sandwood - A JVM based Java like Probabilistic Programming Language☆26Updated 3 months ago
- Tools for type annotations in Java☆38Updated last week
- assertions for logging with logback☆13Updated last week
- Developer kit for implementing Domain Specific Languages with Xtext. Format, Check, Export and Scope languages of DSL Developer Kit stand…☆43Updated this week
- Examples on how to use the Spoon Java source code transformation library☆85Updated 2 years ago
- Automatic code rewriting for AssertJ using error-prone and refaster☆16Updated this week
- The reference implementation for the JSpecify nullness specification (and later, its other specifications as well)☆29Updated last month
- Pluggable type-checking for Java☆20Updated this week
- A candidate indexed, linked list data structure for OpenJDK.☆17Updated 2 months ago
- This repository has been rewritten to move to the Eclipse Foundation. Find the old history here: https://github.com/TypeFox/Xpect☆33Updated last month
- ☆17Updated 2 months ago
- Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033☆93Updated 2 weeks ago
- A series of questionable hacks to allow for unconventional experimentation with Loom☆15Updated last month
- Property-based test framework☆80Updated 2 years ago
- ☆15Updated 2 years ago
- FUP2 https://github.com/oracle-actions/setup-java☆27Updated 2 years ago
- Java annotation processor for automatically delegating interface APIs to a composed instance of that interface☆14Updated 2 weeks ago
- A 250 lines single-source-file hackable JSON deserializer for the JVM. Reinventing the JSON wheel.☆17Updated 5 months ago
- Implementing the vision of an autonomous bot to eliminate code smells through automatic refactoring.☆61Updated last year
- JAYield - Java yield like generator☆11Updated 4 years ago
- junit tools contest infrastructure☆11Updated last year
- An extension to the Java type system to catch badly-behaving builder patterns☆12Updated 2 years ago
- Kotlin Language Support – AST Library☆112Updated this week
- A code refactoring tool for java created with jgit and spoon for small diffs.☆18Updated this week
- A small library for testing time-related stuff☆15Updated 4 years ago
- Flamegraph (Iciclegraph) swing component☆18Updated this week
- ☆20Updated 3 years ago
- Documentation of available JFR-Events☆19Updated 2 years ago
- A bridge for capturing JMX data with JDK Flight Recorder☆17Updated 4 years ago
- Java memoization library☆18Updated last year