Xi Ma Chen's repositories
VEFontCache
Single-header minimalistic pragmatic GPU font rendering library.
Jedi-Academy
Star Wars Jedi Knight: Jedi Academy
GtkRadiant
The open source, cross platform level editor for idtech games
Jedi-Outcast
Star Wars Jedi Knight II: Jedi Outcast
Language:C++GPL-2.0000
libsel4utils
seL4 specific OS utility library -- implements threads, processes, virtual memory, elf loading etc.
libsel4vka
Allocation interface for seL4 -- all allocators should implement this interface.
plf_colony
An unordered data container providing fast iteration/insertion/erasure while maintaining pointer validity to non-erased elements
Language:C++000
WaveControl
Cycling game backend with support for BLE devices
Language:C++000