typetools / checker-frameworkLinks
Pluggable type-checking for Java
☆1,087Updated 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 Java Parser library that allows easy parsing and formatting of Java source files☆686Updated this 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,846Updated this week
- An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.☆851Updated 2 weeks ago
- Micro-benchmarking library for Java☆819Updated this week
- The new home of the FindBugs project☆769Updated 6 months ago
- Integrates the JMH benchmarking framework with Gradle☆702Updated last month
- An in-memory file system for Java 7+☆2,501Updated last week
- *old repository* --> this is now integrated in https://github.com/javaparser/javaparser☆296Updated 7 years ago
- Okay, it's pretty easy to instantiate objects in Java through standard reflection. However there are many cases where you need to go beyo…☆616Updated this week
- A small Java 8 library (string manipulation, BiStream, Structured Concurrency, SQL Templates)☆407Updated last week
- A Fluent Logging API for Java☆1,463Updated this week
- Automatic test generation for Java☆571Updated last week
- https://openjdk.org/projects/code-tools/jol☆993Updated 2 months ago
- Testing tools for javac and annotation processors☆715Updated this week
- Eclipse Jersey Project - Read our Wiki:☆714Updated last week
- Tools for working with generic types☆631Updated 2 years ago
- Repository for OpenJDK Mission Control, a production time profiling and diagnostics tools suite. https://openjdk.org/projects/jmc☆917Updated last month
- A Java package dependency analyzer that generates design quality metrics.☆688Updated 5 years ago
- JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to instal…☆577Updated this week
- SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.☆3,720Updated last week
- Eclipse Collections is a collections framework for Java with optimized data structures and a rich, functional and fluent API.☆2,545Updated this week
- Property-Based Testing on the JUnit Platform☆614Updated last week
- Apache Commons Collections☆708Updated this week
- The Jdbi library provides convenient, idiomatic access to relational databases in Java and other JVM technologies such as Kotlin, Clojure…☆2,074Updated this week
- Property-based testing, JUnit-style☆968Updated 9 months ago
- Jabel - unlock Javac 9+ syntax when targeting Java 8☆806Updated last year
- Comparison of two versions of a jar archive☆742Updated 3 months ago
- Performance testing of serialization and deserialization of Java JSON libraries☆1,005Updated 3 months ago
- Annotations for JVM-based languages.☆435Updated 6 months ago
- A set of Gradle plugins that configure default code quality tools for developers.☆326Updated last week