typetools / checker-frameworkLinks
Pluggable type-checking for Java
☆1,096Updated last 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☆688Updated 2 weeks ago
- An in-memory file system for Java 7+☆2,505Updated this week
- Micro-benchmarking library for Java☆819Updated 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,860Updated this week
- A Fluent Logging API for Java☆1,469Updated 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…☆617Updated this week
- An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.☆907Updated last week
- A small Java 8 library (string manipulation, BiStream, Structured Concurrency, SQL Templates)☆415Updated last week
- The new home of the FindBugs project☆771Updated last week
- Integrates the JMH benchmarking framework with Gradle☆704Updated last month
- Repository for OpenJDK Mission Control, a production time profiling and diagnostics tools suite. https://openjdk.org/projects/jmc☆932Updated 2 weeks ago
- https://openjdk.org/projects/code-tools/jol☆1,004Updated 3 months ago
- High Performance Primitive Collections for Java☆1,029Updated 3 months ago
- *old repository* --> this is now integrated in https://github.com/javaparser/javaparser☆296Updated 7 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 2 weeks ago
- A Java package dependency analyzer that generates design quality metrics.☆689Updated 5 years ago
- Eclipse Collections is a collections framework for Java with optimized data structures and a rich, functional and fluent API.☆2,553Updated last month
- Testing tools for javac and annotation processors☆718Updated this week
- SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.☆3,750Updated last week
- Collection of AspectJ Java Aspects to facilitate aspect-oriented programming patterns: logging, caching, validating, etc.☆533Updated 2 weeks ago
- Jabel - unlock Javac 9+ syntax when targeting Java 8☆809Updated last year
- Tools for working with generic types☆630Updated 2 years ago
- High performance JVM JSON library☆1,049Updated 10 months ago
- Eclipse Jersey Project - Read our Wiki:☆716Updated last week
- Apache Commons Collections☆710Updated this week
- The Jdbi library provides convenient, idiomatic access to relational databases in Java and other JVM technologies such as Kotlin, Clojure…☆2,089Updated this week
- Property-based testing, JUnit-style☆971Updated 10 months ago
- Performance testing of serialization and deserialization of Java JSON libraries☆1,009Updated 5 months ago
- Comparison of two versions of a jar archive☆746Updated last week
- https://openjdk.org/projects/code-tools/jcstress☆463Updated 3 months ago