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:
- Sandwood - A JVM based Java like Probabilistic Programming Language☆27Updated 3 weeks ago
- The reference implementation for the JSpecify nullness specification (and later, its other specifications as well)☆28Updated 4 months ago
- MPS-extensions aims to ease language development within MPS.☆88Updated this week
- Java annotation processor for automatically delegating interface APIs to a composed instance of that interface☆15Updated this week
- "How to Specify it" in Java and jqwik☆24Updated 3 years ago
- Kotlin Language Support – AST Library☆111Updated last week
- Property-based test framework☆80Updated 2 years ago
- 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
- Gradle plugin to turn JVM Test Suites into Blackbox or Whitebox Test Suite for Java Modules☆19Updated this week
- Automatic code rewriting for AssertJ using error-prone and refaster☆16Updated this week
- xtext-eclipse☆49Updated 2 years ago
- Tools for type annotations in Java☆39Updated last week
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated last year
- Fault injection and chaos testing all in one, sweet DSL.☆12Updated 3 years ago
- The changelog is cast, let the versions fall where they may.☆48Updated 10 months ago
- An Error Prone plugin for SLF4J☆32Updated last week
- The CongoCC Parser Generator, the Next Generation of JavaCC 21, which in turn was the next generation of JavaCC☆40Updated this week
- FUP2 https://github.com/oracle-actions/setup-java☆27Updated 3 years ago
- A retrofit compiler for Java☆37Updated last year
- Reproducible Central: rebuild instructions for artifacts published to (Maven) Central Repository☆114Updated this week
- Recaffeinating Java ☕️ with custom semantics and extensions☆51Updated 3 years ago
- xtext-xtend☆105Updated 2 years ago
- ☆20Updated last year
- Programming with JetBrains MPS - Textbook for Beginners☆21Updated 5 years ago
- GraalVM GitHub action☆13Updated 2 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
- ☆28Updated last month
- An ANTLR language for MPS, and the ToMPS language to help create MPS languages and ANTRL visitors from an ANTLR 4 grammar.☆25Updated 7 years ago
- PEG parser generator for Java 17 - grammar as algebraic datatypes☆64Updated 3 years ago
- ☆16Updated last month