typetools / checker-frameworkLinks
Pluggable type-checking for Java
☆1,083Updated 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:
- An in-memory file system for Java 7+☆2,499Updated this week
- A Java Parser library that allows easy parsing and formatting of Java source files☆685Updated 2 weeks ago
- Micro-benchmarking library for Java☆818Updated last week
- An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.☆792Updated last week
- Spoon is a metaprogramming library to analyze and transform Java source code. is made with , and . It parses source files to build a we…☆1,840Updated last week
- Testing tools for javac and annotation processors☆715Updated this week
- A small Java 8 library (string manipulation, BiStream, Structured Concurrency, SQL Templates)☆400Updated last week
- The new home of the FindBugs project☆767Updated 5 months ago
- A Fluent Logging API for Java☆1,463Updated this week
- Okay, it's pretty easy to instantiate objects in Java through standard reflection. However there are many cases where you need to go beyo…☆615Updated last week
- Integrates the JMH benchmarking framework with Gradle☆700Updated 3 weeks ago
- Property-Based Testing on the JUnit Platform☆612Updated last week
- https://openjdk.org/projects/code-tools/jol☆986Updated last month
- Performance testing of serialization and deserialization of Java JSON libraries☆1,002Updated 3 months ago
- Comparison of two versions of a jar archive☆738Updated 3 months ago
- Tools for working with generic types☆629Updated 2 years ago
- EqualsVerifier can be used in Java unit tests to verify whether the contract for the equals and hashCode methods is met.☆730Updated this week
- Jabel - unlock Javac 9+ syntax when targeting Java 8☆803Updated last year
- linear time regular expression matching in Java☆1,217Updated 6 months ago
- Property-based testing, JUnit-style☆968Updated 8 months ago
- A Persistent Java Collections Library☆782Updated last week
- *old repository* --> this is now integrated in https://github.com/javaparser/javaparser☆295Updated 7 years ago
- Automatic test generation for Java☆567Updated last week
- JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to instal…☆572Updated last week
- High performance JVM JSON library☆1,038Updated 8 months ago
- Repository for OpenJDK Mission Control, a production time profiling and diagnostics tools suite. https://openjdk.org/projects/jmc☆912Updated 2 weeks ago
- jOOλ - The Missing Parts in Java 8 jOOλ improves the JDK libraries in areas where the Expert Group's focus was elsewhere. It adds tuple s…☆2,113Updated last year
- Annotation processor to create immutable objects and builders. Feels like Guava's immutable collections but for regular value objects.☆3,506Updated last week
- The fast scanner generator for Java™ with full Unicode support☆608Updated 7 months ago
- A set of Gradle plugins that configure default code quality tools for developers.☆325Updated this week