typetools / checker-framework

Related projects ⓘ

Alternatives and complementary repositories for checker-framework

• forge / roaster
  A Java Parser library that allows easy parsing and formatting of Java source files
  ☆677Updated 2 weeks ago
• google / jimfs
  An in-memory file system for Java 7+
  ☆2,442Updated this week
• melix / jmh-gradle-plugin
  Integrates the JMH benchmarking framework with Gradle
  ☆675Updated 2 months ago
• google / caliper
  Micro-benchmarking library for Java
  ☆816Updated last month
• vigna / fastutil
  fastutil extends the Java™ Collections Framework by providing type-specific maps, sets, lists and queues.
  ☆1,796Updated 2 weeks ago
• google / compile-testing
  Testing tools for javac and annotation processors
  ☆701Updated this week
• openjdk / jol
  https://openjdk.org/projects/code-tools/jol
  ☆924Updated 8 months ago
• bsideup / jabel
  Jabel - unlock Javac 9+ syntax when targeting Java 8
  ☆802Updated 8 months ago
• hrldcpr / pcollections
  A Persistent Java Collections Library
  ☆765Updated 7 months ago
• google / mug
  A small Java 8 library (string manipulation, stream utils)
  ☆369Updated this week
• jdbi / jdbi
  The Jdbi library provides convenient, idiomatic access to relational databases in Java and other JVM technologies such as Kotlin, Clojure…
  ☆1,984Updated this week
• artyushov / idea-jmh-plugin
  Plugin for Itellij IDEA to make benchmarking with JMH easier.
  ☆443Updated last month
• jspecify / jspecify
  An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.
  ☆574Updated 2 weeks ago
• findbugsproject / findbugs
  The new home of the FindBugs project
  ☆752Updated last month
• manifold-systems / manifold
  Manifold is a Java compiler plugin, its features include Metaprogramming, Properties, Extension Methods, Operator Overloading, Templates,…
  ☆2,404Updated last week
• aol / cyclops
  An advanced, but easy to use, platform for writing functional applications in Java 8.
  ☆1,318Updated last year
• jhalterman / typetools
  Tools for working with generic types
  ☆624Updated last year
• google / allocation-instrumenter
  A Java agent that rewrites bytecode to instrument allocation sites
  ☆481Updated 10 months ago
• lvc / japi-compliance-checker
  A tool for checking backward API/ABI compatibility of a Java library
  ☆368Updated 9 months ago
• easymock / objenesis
  Okay, it's pretty easy to instantiate objects in Java through standard reflection. However there are many cases where you need to go beyo…
  ☆604Updated this week
• eclipse / eclipse-collections
  Eclipse Collections is a collections framework for Java with optimized data structures and a rich, functional and fluent API.
  ☆2,447Updated this week
• leventov / Koloboke
  Java Collections till the last breadcrumb of memory and performance
  ☆1,007Updated 7 years ago
• siom79 / japicmp
  Comparison of two versions of a jar archive
  ☆716Updated last month
• ngs-doo / dsl-json
  High performance JVM JSON library
  ☆1,012Updated 8 months ago
• google / re2j
  linear time regular expression matching in Java
  ☆1,185Updated last year
• openjdk / jcstress
  https://openjdk.org/projects/code-tools/jcstress
  ☆415Updated last month
• cache2k / cache2k
  Lightweight, high performance Java caching
  ☆708Updated last year
• cfg4j / cfg4j
  Modern configuration library for distributed apps written in Java.
  ☆555Updated 2 years ago
• jOOQ / jOOL
  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,090Updated 3 months ago
• openjdk / jmh
  https://openjdk.org/projects/code-tools/jmh
  ☆2,212Updated 3 weeks ago