typetools/checker-framework

checker-framework

✅ Recently maintained

Pluggable type-checking for Java

1,151Stars
440Forks
07-day stars

Java · License unverified · Last push 2026-10-31

Official repository & installation ↗
javatypesverification

Star history

2025-09-292026-11-01
View historical data
DateStars
2026-10-031,150
2026-10-041,150
2026-10-051,150
2026-10-061,150
2026-10-071,150
2026-10-081,150
2026-10-091,150
2026-10-101,150
2026-10-111,150
2026-10-121,150
2026-10-131,150
2026-10-141,150
2026-10-151,150
2026-10-161,151
2026-10-171,151
2026-10-181,151
2026-10-191,151
2026-10-201,151
2026-10-211,151
2026-10-221,151
2026-10-231,151
2026-10-241,151
2026-10-251,151
2026-10-261,151
2026-10-271,151
2026-10-281,151
2026-10-291,151
2026-10-301,151
2026-10-311,151
2026-11-011,151

Get the project

git clone https://github.com/typetools/checker-framework.git

Related projects & alternative candidates

Related domains do not imply feature parity. Review official documentation and licenses.

spring-boot

Spring Boot helps you to create Spring-powered, production-grade applications and services with absolute minimum fuss.

★ 81,724elasticsearch

Free and Open Source, Distributed, RESTful Search Engine

★ 78,457Java

Comprehensive reference implementations of classic computer science algorithms and data structures in Java.

★ 66,706