Pluggable type-checking for Java
☆27Updated this week
Alternatives and similar repositories for checker-framework
Users that are interested in checker-framework are comparing it to the libraries listed below
Sorting:
- A tool for testing SMT solvers for incompleteness bugs☆17Oct 12, 2022Updated 3 years ago
- Glacier is a type annotation extension to Java that enforces transitive class immutability.☆14Nov 15, 2021Updated 4 years ago
- ☆20Apr 6, 2025Updated 10 months ago
- List of SBOM Generation Tools☆30Mar 7, 2025Updated 11 months ago
- A mechanized proof of type safety for Featherweight Java using Coq☆16Aug 4, 2018Updated 7 years ago
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Mar 3, 2021Updated 4 years ago
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆25Nov 7, 2024Updated last year
- The reference implementation for the JSpecify nullness specification (and later, its other specifications as well)☆35Feb 3, 2026Updated 3 weeks ago
- With This-or-That, prioritizing is fun and fast.☆10Aug 9, 2024Updated last year
- Juery is a tiny Java library to manage search and filter query from user to database.☆12Jan 27, 2026Updated last month
- An easy-to-use scikit-learn inspired implementation of the Multidimensional Multiclass Genetic Programming with Multidimensional Populati…☆11Dec 3, 2025Updated 2 months ago
- ☆10Jul 29, 2022Updated 3 years ago
- A LibreOffice extension that converts JabRef references to plain text code and vice versa so that you can use your references with MS Off…☆12Aug 15, 2024Updated last year
- Evolutionary decision trees☆11Jun 16, 2025Updated 8 months ago
- An RFC 6902 (JSON Patch) and reverse, plus RFC 7386 (JSON Merge Patch), implementation in Java using Jackson (2.x)☆17May 9, 2024Updated last year
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆10Jun 21, 2015Updated 10 years ago
- Build Your Own Neural Network Design☆14Aug 3, 2020Updated 5 years ago
- A web-based application for authoring BPMN 2.0 process specifications☆15Jun 15, 2016Updated 9 years ago
- TOSCA transformer build by students at the University of Stuttgart☆10Jun 15, 2020Updated 5 years ago
- ✍️ A browser add-on (Firefox, Chrome, Thunderbird) that allows you to autocorrect common text sequences and convert text characters to a …☆12Feb 9, 2026Updated 2 weeks ago
- A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to…☆22Jul 28, 2025Updated 7 months ago
- Support for OCPI built on top of core CitrineOS☆19Updated this week
- Perform package cycle dependency checks in JVM projects (Java, Groovy, Scala, Kotlin, ...)☆13Feb 16, 2026Updated last week
- All the base POMs in the world.☆43Feb 11, 2026Updated 2 weeks ago
- Deploy your DNS configuration using GitHub Actions using DNSControl.☆11Feb 19, 2026Updated last week
- Sources and Documentation for the HINT project☆11Feb 17, 2026Updated last week
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Simplify icon selection with IkonX - your Ikonli icon pack browser.☆11Jan 10, 2026Updated last month
- Queued copying tool, with ability to sync folders☆14Jan 20, 2026Updated last month
- ☆10Sep 18, 2022Updated 3 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- A course on free/libre and open source software☆11Oct 16, 2025Updated 4 months ago
- Java by Comparison Kata☆38Oct 19, 2024Updated last year
- Watch twitch.tv on webOS4☆10Oct 20, 2019Updated 6 years ago
- ☆10Feb 2, 2026Updated 3 weeks ago
- JavaFX micro-framework that follows MVVM Pattern with Google Guice dependency Injection☆11Jan 11, 2022Updated 4 years ago
- Collection of AI conferences☆14Aug 16, 2022Updated 3 years ago
- An open source terminology management solution☆16Jun 11, 2023Updated 2 years ago
- GitHub Action to Sync subtrees with a source project☆11Oct 16, 2019Updated 6 years ago