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:
- The reference implementation for the JSpecify nullness specification (and later, its other specifications as well)☆28Updated 5 months ago
- Tools for type annotations in Java☆39Updated last week
- A candidate indexed, linked list data structure for OpenJDK.☆16Updated 2 weeks ago
- Pluggable type-checking for Java☆22Updated this week
- MPS-extensions aims to ease language development within MPS.☆87Updated this week
- Java annotation processor for automatically delegating interface APIs to a composed instance of that interface☆15Updated this week
- This repository has been rewritten to move to the Eclipse Foundation. Find the old history here: https://github.com/TypeFox/Xpect☆34Updated last week
- Kotlin Language Support – AST Library☆112Updated last week
- Sandwood - A JVM based Java like Probabilistic Programming Language☆27Updated last month
- ☆17Updated 3 months ago
- Reproducible Central: rebuild instructions for artifacts published to (Maven) Central Repository☆115Updated this week
- The CongoCC Parser Generator, the Next Generation of JavaCC 21, which in turn was the next generation of JavaCC☆42Updated this week
- Automatic code rewriting for AssertJ using error-prone and refaster☆17Updated this week
- Fluent API generator☆41Updated last week
- FUP2 https://github.com/oracle-actions/setup-java☆27Updated 3 years ago
- Developer kit for implementing Domain Specific Languages with Xtext. Format, Check, Export and Scope languages of DSL Developer Kit stand…☆45Updated this week
- Property-based test framework☆80Updated 2 years ago
- https://openjdk.org/projects/tsan☆27Updated this week
- Lightweight dependency injection framework that does not rely on annotations.☆10Updated last year
- Instrument instrumenting agents to see how they transform classes☆21Updated 3 months ago
- Java bindings for tree-sitter☆127Updated last year
- Implementing the vision of an autonomous bot to eliminate code smells through automatic refactoring.☆61Updated 2 years ago
- Takari Maven Timeline☆29Updated last month
- tree-sitter API for JVM☆67Updated last year
- A simple example tool built using the Truffle instrumentation API.☆32Updated last year
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆155Updated this week
- ☆60Updated this week
- xtext-xtend☆105Updated 2 years ago
- ☆20Updated 4 years ago
- Gradle plugin to turn JVM Test Suites into Blackbox or Whitebox Test Suite for Java Modules☆19Updated last week