mcoblenz / GlacierLinks
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
Sorting:
- Tools for type annotations in Java☆39Updated last week
- The reference implementation for the JSpecify nullness specification (and later, its other specifications as well)☆27Updated 6 months ago
- Property-based test framework☆80Updated 2 years ago
- MPS-extensions aims to ease language development within MPS.☆86Updated this week
- Kotlin Language Support – AST Library☆112Updated this week
- ☆21Updated 2 years ago
- ☆16Updated last month
- FUP2 https://github.com/oracle-actions/setup-java☆27Updated 3 years ago
- Apache Commons Graph (Sandbox)☆35Updated last week
- OpenRewrite recipes for identifying and fixing static analysis issues.☆40Updated this week
- Takari Maven Timeline☆29Updated 2 months ago
- assertions for logging with logback☆15Updated 5 months ago
- Sandwood - A JVM based Java like Probabilistic Programming Language☆28Updated 2 weeks ago
- Gradle plugin to turn JVM Test Suites into Blackbox or Whitebox Test Suite for Java Modules☆21Updated this week
- Reproducible Central: rebuild instructions for artifacts published to (Maven) Central Repository☆115Updated this week
- A candidate indexed, linked list data structure for OpenJDK.☆17Updated last week
- Build optimized Java runtimes in your browser!☆47Updated 7 months ago
- Pluggable type-checking for Java☆21Updated this week
- A SpotBugs/FindBugs plugin to verify usage of SLF4J☆75Updated 2 years ago
- ☆61Updated last week
- Generates, starts, tests, stops small Quarkus applications and measures time and memory☆13Updated this week
- A retrofit compiler for Java☆37Updated last year
- Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033☆95Updated last month
- A Maven plugin that creates merge requests for dependency updates.☆27Updated 9 months ago
- Fault injection and chaos testing all in one, sweet DSL.☆12Updated 4 years ago
- Utilities for JDBC☆28Updated last month
- Developer kit for implementing Domain Specific Languages with Xtext. Format, Check, Export and Scope languages of DSL Developer Kit stand…☆45Updated last week
- Architectural Decisions Records embedded in Java code☆33Updated 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…☆158Updated this week
- An Error Prone plugin for SLF4J☆32Updated last week