Skip to content
Navigation Menu
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Copilot app
Direct agents from issue to merge
MCP Registry
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Code Quality
Enforce quality at merge
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
View all resources
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
GitHub Stars
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search
/
Sign in
Sign up
Appearance settings
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
Mu-L
/
checker-framework
Public
forked from
typetools/checker-framework
Notifications
You must be signed in to change notification settings
Fork
0
Star
0
Code
Pull requests
0
Actions
Projects
Security and quality
0
Insights
Additional navigation options
Code
Pull requests
Actions
Projects
Security and quality
Insights
Insights: Mu-L/checker-framework
Pulse
Contributors
Commits
Code frequency
Dependency graph
Network
Forks
Forks
switch to list view
typetools
/
checker-framework
aabdagic
/
checker-framework
aagarwal1012
/
checker-framework
SounakMondal10
/
checker-framework
AashifAmeer
/
checker-framework
aavgeen
/
checker-framework
Abhishek1152
/
checker-framework
Abhishek856
/
checker-framework
AbhishekS1997
/
checker-framework
Abishek10
/
checker-framework
abslamp
/
checker-framework
AD776
/
checker-framework
adi23arora
/
checker-framework
aditya3434
/
checker-framework
AdityaAmbekar
/
checker-framework
adityag7177
/
checker-framework
adrianoreis
/
checker-framework
agauravdev
/
checker-framework
aibaars
/
checker-framework
ak-seyam
/
checker-framework
akhileshbhople
/
checker-framework
akibzaman
/
checker-framework
akulk022
/
checker-framework
al4
/
checker-framework
AlexRogalskiy
/
checker-framework
anandsyncs
/
checker-framework
anantjain6
/
checker-framework
andychlee
/
checker-framework
andyglick
/
checker-framework
anilupe
/
checker-framework
Anish528
/
checker-framework
AnishaSrivastava1411
/
checker-framework
Annabefish
/
checker-framework
annikalm
/
checker-framework
AnnyKong
/
checker-framework
NullnessLiteGroup
/
checker-framework
Anush-Krish
/
checker-framework
archaanaaa
/
checker-framework
arimu1
/
checker-framework
Arnab1996
/
checker-framework
artempyanykh
/
checker-framework
ashish9211
/
checker-framework
ashishrana160796
/
checker-framework
ata999
/
checker-framework
atharva137
/
checker-framework
atomicknight
/
checker-framework
atuldada
/
checker-framework
autobot32
/
checker-framework
avandeursen
/
checker-framework
avenger2597
/
checker-framework
awturner
/
checker-framework
ayansiddiqui007
/
checker-framework
azibmalik
/
checker-framework
BahodirMarupov
/
checker-framework
bala8990
/
checker-framework
baloghadamsoftware
/
checker-framework
BanzaiMan
/
checker-framework
BasakUlker
/
checker-framework
Beaver-Company
/
checker-framework
beikov
/
checker-framework
bennostein
/
checker-framework
bitflicker64
/
checker-framework
bitterfox
/
checker-framework
shivanigupta71299
/
checker-framework
BoazWu
/
checker-framework
Bohdankm22
/
checker-framework
boost-mw-poc
/
typetools_checker-framework
buke2016
/
checker-framework
buli-net
/
checker-framework
cagix
/
checker-framework
Calvin-L
/
checker-framework
cazacugmihai
/
checker-framework
cdc04-student
/
checker-framework
ceasermikes002
/
checker-framework
Cenaras
/
checker-framework
CharlesZ-Chen
/
checker-framework
charygao
/
checker-framework
chavito706
/
checker-framework
ChristosToxiadis
/
checker-framework
chubbymaggie
/
checker-framework
ChumengZhang
/
checker-framework
clayness
/
checker-framework
corcorb
/
checker-framework
cotsog
/
checker-framework
cpovirk
/
checker-framework
csgordon
/
checker-framework
KNovak99
/
checker-framework
rishimp
/
checker-framework
cushon
/
checker-framework
Damika-s-Play-Ground
/
checker-framework
danbrotherston
/
checker-framework
dataronio
/
checker-framework
DavidPutnam
/
checker-framework
dd482IT
/
checker-framework-dd482IT
ddu-studious
/
checker-framework
debrin-og
/
checker-framework
deeksha-vatwani
/
checker-framework
Devender1703
/
checker-framework
DhirajSardar
/
checker-framework
dilraj45
/
checker-framework
dimpal14
/
checker-framework
Dmidma
/
checker-framework
DmitriyShepelev
/
checker-framework
donaldchai
/
checker-framework
dongshen
/
checker-framework
dpkk01
/
checker-framework
DrMicrobit
/
checker-framework
dushmis
/
checker-framework
e12225
/
checker-framework
edp70
/
checker-framework
edwinvincent6211
/
checker-framework
eisop
/
checker-framework
al3xliu
/
checker-framework
alexvas
/
checker-framework
AndrewShf
/
checker-framework
aosen-xiong
/
checker-framework
aryanneb
/
checker-framework
byd110
/
checker-framework
danielogen
/
eisop-checker-framework
danielzoo
/
checker-framework
DSouzaM
/
checker-framework
farzanmirshekari
/
checker-framework
HenryXi1
/
checker-framework
jerrodri
/
checker-framework
jetafese
/
checker-framework
JuliaNortman
/
checker-framework
lucedes27
/
checker-framework
matthewd-so
/
checker-framework
Mr-Pine
/
checker-framework
nhioe
/
checker-framework
Ray-Light
/
checker-framework
rohan-shettyy
/
checker-framework
ShahriarAhnaf
/
Eisop-CF
SirYwell
/
checker-framework
thisisalexandercook
/
checker-framework
TonyxSun
/
checker-framework
txiang61
/
checker-framework
wadoon
/
checker-framework
WeilanTao
/
checker-framework
xiayulin123
/
checker-framework
YutongZhuu
/
checker-framework
zyf265600
/
checker-framework
ek08
/
checker-framework
ElifDumand
/
checker-framework
Eminda
/
checker-framework
erfan-arvan
/
checker-framework
Esha-Gore
/
checker-framework
ethantkoenig
/
checker-framework
feliperodri
/
checker-framework
felixmueh
/
checker-framework-test
fionarex
/
checker-framework
flo2702
/
checker-framework
JohnnyJayJay
/
checker-framework
foxdd
/
checker-framework
foxerfly
/
checker-framework
Frankieshoop90
/
checker-framework
freemanjp
/
checker-framework
fse-main-307
/
checker-framework
gagandhakrey
/
checker-framework
Gaoyan1999
/
checker-framework
gaurav122197
/
checker-framework
Gaurav614
/
checker-framework
GauravWalia19
/
checker-framework
gdhuse
/
checker-framework
geekSlony
/
checker-framework
Gellert5225
/
checker-framework
genisysram
/
checker-framework
geralt-encore
/
checker-framework
ghost-60
/
checker-framework
gokaco
/
checker-framework
Google-Developers-Sohag
/
checker-framework
guptasaloni
/
checker-framework
gyhughes
/
checker-framework
Haaris710
/
checker-framework
HamedTaghani
/
checker-framework
hannahleehsl
/
checker-framework
hazendaz
/
checker-framework
hborders
/
checker-framework
Hsn723
/
checker-framework
iaminamkhan
/
checker-framework
iamNitin16
/
checker-framework
iamrubayet
/
checker-framework
iamsanjaymalakar
/
checker-framework
iBvishal
/
checker-framework
iCodeIN
/
checker-framework
imriaz23
/
checker-framework
intrigus-lgtm
/
checker-framework
iywang2016
/
checker-framework
jabbar86
/
checker-framework
jack17529
/
checker-framework
janrieke
/
checker-framework
Jatin0312
/
checker-framework
java-cheatsheet
/
checker-framework
javabeanz
/
checker-framework
Javacentric
/
checker-framework
JayantDwivedi
/
checker-framework
jayvdb
/
checker-framework
JHOANG23
/
checker-framework
Jianchu
/
checker-framework
jlemay
/
checker-framework
jliao23
/
checker-framework
joedragons
/
checker-framework
johnkrah
/
checker-framework
JonathanBurke
/
checker-framework
josephv7
/
checker-framework
joykirat18
/
checker-framework
jpeterson2
/
checker-framework
jrag911
/
checker-framework
jsantino
/
checker-framework
jschaf
/
checker-framework
jthaine
/
checker-framework
junhezhan
/
checker-framework
junho0831
/
checker-framework
jyluo
/
checker-framework
jyoo980
/
checker-framework
kageiit
/
checker-framework
Kakarot-SSJ4
/
checker-framework
kan-izh
/
checker-framework
kanaksad
/
checker-framework
kanha95
/
checker-framework
KankshaZ
/
checker-framework
KatherinePalevich
/
checker-framework
kelloggm
/
checker-framework
achabill
/
checker-framework
anadi217
/
checker-framework
kennknowles
/
checker-framework
kevinoconnor7
/
checker-framework
khoa0304
/
checker-framework
kluever
/
checker-framework
KocaKola80
/
checker-framework
kuangjz
/
checker-framework
kushg1
/
checker-framework
lalithapoluri
/
checker-framework
lazaroclapp
/
checker-framework
LehmannF
/
checker-framework
leonidaa
/
checker-framework
littlejlf
/
checker-framework
lnsun
/
checker-framework
LoiNguyenCS
/
checker-framework
looser69
/
checker-framework
LordJagged
/
checker-framework
lzh123422
/
checker-framework
Madhav-2808
/
checker-framework
Mahakbajpai
/
checker-framework
maijun-sec
/
checker-framework
makaty95
/
checker-framework
mangeze691-tech
/
checker-framework
Marc0Guo
/
checker-framework
marko-bekhta
/
checker-framework
Maxi17
/
checker-framework
mazalet
/
checker-framework
mbzshajib
/
checker-framework
mcoblenz
/
checker-framework
Meijuh
/
checker-framework
mernst
/
checker-framework
chriswininger
/
checker-framework
miahuynhh
/
checker-framework
michaelhixson
/
checker-framework
mihxil
/
checker-framework
misselvexu
/
jvm-checker-framework
miyakawataku
/
checker-framework
mkechagia
/
checker-framework
mkleeyd
/
checker-framework
mmichaelis
/
checker-framework
mohamedBoujdi
/
checker-framework
Mom10
/
checker-framework
MrigankArora
/
checker-framework
mrmiywj
/
checker-framework
msridhar
/
checker-framework
mstaehely
/
checker-framework
MStart
/
checker-framework
Mu-L
/
checker-framework
mushfiqiit
/
checker-framework
musophobia
/
checker-framework
Nargeshdb
/
checker-framework
nashid
/
checker-framework
natalianiculae
/
checker-framework
neetisaharan
/
checker-framework
neilccbrown
/
checker-framework
netdpb
/
tt-checker-framework
nhat-nguyen
/
checker-framework
NhatDinh
/
checker-framework
nickbreen
/
checker-framework
niknair5
/
checker-framework
nimakarimipour
/
checker-framework
nina-uchtmann
/
checker-framework
NITIN23329
/
checker-framework
Nott-Pongsak
/
checker-framework
odococo
/
checker-framework
olekw
/
checker-framework
opprop
/
checker-framework
baoruiz
/
checker-framework
d367wang
/
checker-framework
JasonMrX
/
checker-framework
joshuabach
/
checker-framework
leoliu49
/
checker-framework
luqmana
/
checker-framework
nadouamanda
/
checker-framework
piyush-J
/
checker-framework
WayneYu95
/
checker-framework
xingweitian
/
checker-framework
zcai1
/
checker-framework
othadem
/
checker-framework
owenvellegas
/
checker-framework
OxO-106
/
checker-framework
panacekcz
/
checker-framework
parameshn
/
checker-framework
pascaliUWat
/
checker-framework
topnessman
/
checker-framework
patrickmeiring
/
checker-framework
PayasKrishna
/
checker-framework
pbsf
/
checker-framework
peterhal
/
checker-framework
PhysShell
/
checker-framework
pkmishra2223
/
checker-framework
Poorvika1-droid
/
checker-framework
ppsysdev
/
checker-framework
Pr0methean
/
checker-framework
Prajwal7842
/
checker-framework
PraneethKulukuri26
/
checker-framework
praveenyadahalli
/
checker-framework
PriMuHacker
/
checker-framework
PRITI1999
/
checker-framework
pyushm31
/
checker-framework
QRXqrx
/
checker-framework
raghav-deepsource
/
checker-framework
rahljoshi
/
checker-framework
rahul404
/
checker-framework
raissi
/
checker-framework
rajnand2004
/
checker-framework
Ramakrishnanm
/
checker-framework
Ravi-Roshan
/
checker-framework
rbygrave
/
checker-framework
renatoathaydes
/
checker-framework
Resident0014
/
checker-framework
rhng
/
checker-framework
ridhisureka5
/
checker-framework
riteshcoding1
/
checker-framework
rkraneis
/
checker-framework
roggenbrot
/
checker-framework
Romanzek
/
checker-framework
RomitKumar
/
checker-framework
rongqinglee
/
checker-framework
ross39
/
checker-framework
rroblak
/
checker-framework
RTBHOUSE
/
checker-framework
ruipedro16
/
checker-framework
Sadaf91
/
checker-framework
saicharankalakonda
/
checker-framework
sam-8680
/
checker-framework
sammy1997
/
checker-framework
sanjaymsh
/
checker-framework
santosh653
/
checker-framework
sasivarnan619
/
checker-framework
sassi4
/
checker-framework
SAURABHSINGH1234
/
checker-framework
sdk2035
/
checker-framework
seanbenoit06
/
checker-framework
seanmcl
/
checker-framework
Sekar-C-Mca
/
checker-framework
SGanguly1999
/
checker-framework
shipkhattri
/
checker-framework
shisheng-1
/
checker-framework
Shivam7-1
/
checker-framework
ShivamPrajapati-dev
/
checker-framework
shivanshsoni
/
checker-framework
Shoaib7897
/
checker-framework
shobhit-05
/
checker-framework
Shraddha512
/
checker-framework
shubhamk0205
/
checker-framework
shubhamugare
/
checker-framework
SimarMugattarov
/
checker-framework
skehrli
/
checker-framework
smellslikekeenspirit
/
checker-framework
smillst
/
checker-framework
smithjlrhit
/
checker-framework
smonteiro
/
checker-framework
SoftwareEngineeringToolDemos
/
ICSE-2010-Checker-Framework
apoorvmahajan
/
ICSE-2011-Checker-Framework
KahanPrabhu
/
ICSE-2011-Checker-Framework
sovon9
/
checker-framework
StaticAnalysisTools
/
checker-framework
stream101
/
checker-framework
stryder2000
/
checker-framework
subir701
/
checker-framework
sullis
/
checker-framework
supergil82
/
checker-framework
Suvrat1629
/
checker-framework
swlogiclab
/
checker-framework-effects
cYun94
/
checker-framework-effects
t-8ch
/
checker-framework
t-rasmud
/
checker-framework
jwaataja
/
checker-framework
Siruis3
/
checker-framework
xinyuliu12
/
checker-framework
tahiat
/
checker-framework
tanejasomi
/
checker-framework
Tank-Wang
/
checker-framework
tbutter
/
checker-framework
the1derer
/
checker-framework
Thomsch
/
checker-framework
tigerqiu712
/
checker-framework
tijanaminic1
/
checker-framework
tomc04
/
checker-framework
tools-env
/
checker-framework
travishaagen
/
checker-framework
tsunghanjacktsai
/
checker-framework
turrisxyz
/
checker-framework
uemarica
/
checker-framework
UtR491
/
checker-framework
vananiev
/
checker-framework
Varuni-Punchihewa
/
checker-framework
vatsalsura
/
checker-framework
vedang14
/
checker-framework
vickycye
/
checker-framework
vieee
/
checker-framework
vigneshtdev
/
checker-framework
vivek-0509
/
checker-framework
vliu526
/
checker-framework
vlsi
/
checker-framework
vonzcy
/
checker-framework
vrana
/
checker-framework
VSaliy
/
checker-framework
Vyom-Yadav
/
checker-framework
w3lld1
/
checker-framework
wate123
/
checker-framework
wena04
/
checker-framework
wendigo
/
checker-framework
wmdietl
/
checker-framework
wmdietlGC
/
checker-framework
xinkongsuixiang
/
checker-framework
yajna-pandith
/
checker-framework
yehia67
/
checker-framework
yukgupta
/
checker-framework
YukiYang31
/
checker-framework
Yushan13H
/
checker-framework
Yuzhifur
/
checker-framework
Zadam01
/
Diplomamunka-Code
ZakariaBenjebara
/
checker-framework
zenixan
/
checker-framework
zeta1999
/
checker-framework
zhangjiangqige
/
checker-framework-typetools
You can’t perform that action at this time.