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.
TCP port scanner, spews SYN packets asynchronously, scanning entire Internet in under 5 minutes.
Collection of various algorithms in mathematics, machine learning, computer science, physics, etc implemented in C for educational purposes.
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…
FreeRDP is a free remote desktop protocol library and clients
Kernel source tree for Raspberry Pi-provided kernel builds. Issues unrelated to the linux kernel should be posted on the community forum at https://forums.raspberrypi.com/
FFmpeg libav tutorial - learn how media works from basic to transmuxing, transcoding and more. Translations: 🇺🇸 🇨🇳 🇰🇷 🇪🇸 🇻🇳 🇧🇷 🇷🇺
React Native module for CodePush
Hardened allocator designed for modern systems. It has integration into Android's Bionic libc and can be used externally with musl and glibc as a dynamic library for use on other Linux-based platfo…
An open-source port of Prince of Persia, based on the disassembly of the DOS version.
Moved. New address: https://github.com/varnishcache/varnish-cache/