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）。

上海交通大学 RoboMaster 2019赛季 视觉代码