Glacier is a type annotation extension to Java that enforces transitive class immutability.
☆14Nov 15, 2021Updated 4 years ago
Alternatives and similar repositories for Glacier
Users that are interested in Glacier are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Material for lectures on software product lines☆17Mar 2, 2026Updated 8 months ago
- Tech Friends Club☆11Feb 16, 2021Updated 5 years ago
- Invert (transpose) a GFM Markdown Table☆15Feb 20, 2024Updated 2 years ago
- A tool to help adapting code bases to NullAway type system.☆19Sep 22, 2026Updated last month
- Experimental Transpiler of Java Programs to EO Programming Language☆12Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- LLM Program Watermarking☆20Apr 19, 2024Updated 2 years ago
- The hg-revision-plugin is designed to get Mercurial repository properties based on the commit history☆11Oct 27, 2026Updated last week
- Maven plugin for linting git commit message☆13Feb 23, 2023Updated 3 years ago
- The Art Of Domain-Specific Languages: Let's Hack Our Own Languages!☆12Nov 7, 2022Updated 3 years ago
- LaTeX paper on how to reduce programs to EO objects☆15Updated this week
- Jsmith, a random generator of Java programs☆18Updated this week
- Profile a shell script based on its printouts☆20Apr 27, 2021Updated 5 years ago
- Spell checking for LaTeX documents with the help of GNU aspell☆18Updated this week
- ☆17Apr 8, 2016Updated 10 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆30May 26, 2017Updated 9 years ago
- Iterate on LLM-based structured generation forward and backward☆24Mar 20, 2025Updated last year
- Slides and Source Code from "Demystifying Floating Point Numbers" given at CPPCon 2015.☆21Sep 24, 2015Updated 11 years ago
- Run JDeps on a Gradle build☆38Jan 31, 2023Updated 3 years ago
- Collection of files for booting Linux kernels☆33Sep 26, 2026Updated last month
- PC-miner tool for program chairs☆30Dec 18, 2025Updated 10 months ago
- The new home for releases and nightlies for all OpenJDK13 variants and platforms☆14Mar 8, 2020Updated 6 years ago
- GitHub Action that leverages Google´s Container Structure test to run unit tests on your container images.☆10Sep 6, 2026Updated 2 months ago
- Copy lines with file path, line number, and repository URL metadata. Perfect for sharing code snippets with context.☆36Oct 13, 2026Updated 3 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- IntelliJ Red Hat telemetry plugin☆11Sep 18, 2026Updated last month
- SIP API for Java☆16Dec 13, 2016Updated 9 years ago
- An asynchronous library for JavaFX. With focus on Kotlin and Java.☆12Dec 28, 2020Updated 5 years ago
- Static Wrapper of SLF4J easing you from the necessity to create static LOGGER instances in each Java class☆67Updated this week
- ☆32Mar 8, 2022Updated 4 years ago
- A database testing library for the Robot Framework☆12Jan 21, 2022Updated 4 years ago
- AI agent for JetBrains IDEs: debugger, refactorings, and symbol navigation via IDE — fewer tokens, more precision☆25Oct 30, 2026Updated last week
- A Kotlin Multiplatform UI Framework based on Solid JS☆47Updated this week
- Temporal GNN Lightweight Framework☆31Apr 2, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Production catalog for Red Hat Marketplace Operator Bundles☆16Updated this week
- Open weight models to solve the issues with aging biomarker measurements detailed at https://x.com/nikhilyadala/status/203592022988963048…☆43Apr 11, 2026Updated 6 months ago
- GitHub App built with Probot that automatically labels pull requests on certain conditions☆13Jun 17, 2024Updated 2 years ago
- Command Line Style Checker of XML Documents: to make sure they are always formatted nicely☆31Updated this week
- AWS Lex Bot Tester☆16Mar 8, 2018Updated 8 years ago
- Polyglot Static Analyzer for Object-Oriented Programs Based on EOLANG and 𝜑-Calculus☆34Updated this week
- Allows groovydoc to be generated from Groovy or mixed Java/Groovy projects without Ant. No Ant at all.☆12Apr 26, 2021Updated 5 years ago