带有详细注释的 Redis 3.0 代码（annotated Redis 3.0 source code）。

Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see https://wiki.postgresql.org/wiki/Submitti…

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.

Easy to use, modular, header only, macro based, generic and type-safe Data Structures in C

A visualized debugging framework to aid in understanding the Linux kernel.

Code for the manim-generated scenes used in 3blue1brown videos