typetools / checker-frameworkLinks
Pluggable type-checking for Java
☆1,099Updated 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☆687Updated 2 weeks ago
- An in-memory file system for Java 8+☆2,510Updated 3 weeks ago
- Micro-benchmarking library for Java☆818Updated 3 weeks ago
- A small Java 8 library (string manipulation, BiStream, Structured Concurrency, SQL Templates)☆418Updated last week
- An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.☆929Updated 3 weeks ago
- 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,866Updated last week
- *old repository* --> this is now integrated in https://github.com/javaparser/javaparser☆296Updated 7 years ago
- A Fluent Logging API for Java☆1,468Updated 3 weeks ago
- Integrates the JMH benchmarking framework with Gradle☆705Updated 3 weeks 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 3 weeks ago
- A Java package dependency analyzer that generates design quality metrics.☆693Updated 5 years ago
- Automatic test generation for Java☆579Updated 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…☆618Updated last week
- The new home of the FindBugs project☆772Updated last month
- Testing tools for javac and annotation processors☆716Updated 3 weeks ago
- Annotations for JVM-based languages.☆443Updated last month
- Property-Based Testing on the JUnit Platform☆620Updated last week
- Jabel - unlock Javac 9+ syntax when targeting Java 8☆808Updated last year
- Property-based testing, JUnit-style☆973Updated 11 months ago
- fastutil extends the Java™ Collections Framework by providing type-specific maps, sets, lists and queues.☆1,967Updated 3 weeks ago
- https://openjdk.org/projects/code-tools/jol☆1,008Updated 4 months ago
- Comparison of two versions of a jar archive☆748Updated last week
- A tool for checking backward API/ABI compatibility of a Java library☆379Updated last year
- Functional programming in Java☆1,618Updated 2 years ago
- A set of Gradle plugins that configure default code quality tools for developers.☆333Updated this week
- Support alternative markup for Apache Maven POM files☆910Updated last month
- The fast scanner generator for Java™ with full Unicode support☆617Updated 9 months ago
- Repository for OpenJDK Mission Control, a production time profiling and diagnostics tools suite. https://openjdk.org/projects/jmc☆939Updated last week
- Java 8 optimized, memory efficient, speedy template engine producing statically typed, plain java objects☆775Updated 3 months ago
- A Persistent Java Collections Library☆787Updated 3 months ago