Loreon
Labs
Platform
Docs
Home
Ecosystems
Java
checker-framework
Pluggable type-checking for Java
Java
Emerging
GitHub
Website
Stars
—
Forks
—
Contributors
8
Last push
1mo ago
Recent commits
Latest commits.
Update cimg/base Docker tag to v2026 (#7432)
f3ea347
renovate[bot]
6mo ago
Update plugin biz-aqute-bnd-builder to v7.2.0 (#7427)
3a80dcf
renovate[bot]
6mo ago
Add methods to `AbstractAnalysis` to compute stores before and after `Tree`s and `Node`s
453cc86
Manu Sridharan
6mo ago
No timestamp in API documentation
7bdb4da
Michael Ernst
6mo ago
Update dependency org.ow2.asm:asm to v9.9.1 (#7421)
f976a6b
renovate[bot]
6mo ago
Improve documentation about defaults
881ee5c
Michael Ernst
6mo ago
Improve Python style
e2442e3
Michael Ernst
6mo ago
Make Map.keySet() handle multiple arguments to @KeyFor (#7363)
77ea6d6
Daniel Gao
6mo ago
Top contributors
Builders behind this project.
mernst
8.1K commits
wmdietl
3.4K commits
smillst
2.4K commits
JonathanBurke
605 commits
jthaine
361 commits
kelloggm
291 commits
solleks
273 commits
renovate[bot]
174 commits