There are 1 repository under win32k topic.
Windows NT x64 Syscall tables
Load your driver like win32k.sys
Collect different versions of Crucial modules.
windbg plugin for win32k debugging
OpenType font file format fuzzer for Windows
win32k_file_collection2
Collect various versions of win32k files