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
- The reference implementation for the JSpecify nullness specification (and later, its other specifications as well)☆29Updated 3 months ago
- This repository has been rewritten to move to the Eclipse Foundation. Find the old history here: https://github.com/TypeFox/Xpect☆34Updated last month
- Property-based test framework☆80Updated 2 years ago
- Tools for type annotations in Java☆39Updated this week
- FUP2 https://github.com/oracle-actions/setup-java☆27Updated 3 years ago
- A candidate indexed, linked list data structure for OpenJDK.☆17Updated this week
- A retrofit compiler for Java☆37Updated last year
- Gradle plugin to turn JVM Test Suites into Blackbox or Whitebox Test Suite for Java Modules☆19Updated last week
- Automatic code rewriting for AssertJ using error-prone and refaster☆16Updated last week
- PEG parser generator for Java 17 - grammar as algebraic datatypes☆63Updated 3 years ago
- Command-line API for Atlassian JIRA using the Tomitribe CREST library☆13Updated 3 years ago
- ☆16Updated last month
- Recaffeinating Java ☕️ with custom semantics and extensions☆51Updated 3 years ago
- Implementing the vision of an autonomous bot to eliminate code smells through automatic refactoring.☆61Updated 2 years ago
- A SpotBugs/FindBugs plugin to verify usage of SLF4J☆74Updated 2 years ago
- Pluggable type-checking for Java☆21Updated this week
- Java annotation processor for automatically delegating interface APIs to a composed instance of that interface☆14Updated last week
- ☆28Updated 3 weeks ago
- Flamegraph (Iciclegraph) swing component☆18Updated last week
- "How to Specify it" in Java and jqwik☆24Updated 3 years ago
- A microbenchmarking test framework for Eclipse Adoptium☆26Updated 3 weeks ago
- Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033☆94Updated last week
- Sandwood - A JVM based Java like Probabilistic Programming Language☆27Updated 3 weeks ago
- Reproducible Central: rebuild instructions for artifacts published to (Maven) Central Repository☆113Updated this week
- Catalog of jbang scripts☆56Updated last week
- A suite of libraries that simplify creating and unit testing annotation processors.☆44Updated last week
- Collection of information on JFR events☆19Updated 3 weeks ago
- Java EditorConfig Parser☆25Updated 7 months ago
- Minimal Maven reusable one-stop shop library☆39Updated 2 weeks ago
- Developer kit for implementing Domain Specific Languages with Xtext. Format, Check, Export and Scope languages of DSL Developer Kit stand…☆45Updated last week