coldWeather66260's repositories
DragonOS
一个64位的操作系统。An x86_64 operating system.
Language:RustGPL-2.0000
Grasscutter
A server software reimplementation for a certain anime game.
Language:JavaAGPL-3.0000
seL4
The seL4 microkernel
Language:CNOASSERTION000