Stars
For developers, who are building real-time data-driven applications, Redis is the preferred, fastest, and most feature-rich cache, data structure server, and document and vector query engine.
带有详细注释的 Redis 3.0 代码(annotated Redis 3.0 source code)。
A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical UI, dynamic linker, syntax-highlighting text editor, network…
tiny, portable SOCKS5 server with very moderate resource usage
Set, add, and clear arbitrary output headers in NGINX http servers
Convert your Android device into USB keyboard/mouse, control your PC from your Android device remotely, including BIOS/bootloader.
nginx WebDAV PROPFIND,OPTIONS,LOCK,UNLOCK support
Simple tool for Linux/glibc hooking into several OpenGL functions, allowing manipluation of the VSync swap intervals, frame time measurements (CPU, GPU and latency) and latency limiting for unmodif…