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.

Git Source Code Mirror - This is a publish-only repository but pull requests can be turned into patches to the mailing list via GitGitGadget (https://gitgitgadget.github.io/). Please follow Documen…

The PHP Interpreter

Public repository of the QuickJS Javascript Engine.

A cross-platform, linkable library implementation of Git that you can use in your application.

A PHP extension for Redis

The single instruction C compiler

A fork of Git containing Windows-specific patches.

http://torch.ch

Higher level programming in C

πfs - the data-free filesystem!

Objective-C for Windows

A low-power E-Paper weather display powered by an ESP32 microcontroller. Utilizes the OpenWeatherMap API.

clumsy makes your network condition on Windows significantly worse, but in a controlled and interactive manner.

The seL4 microkernel

Vim - the text editor - for Mac OS X

Quake 2 GPL Source Release

Pelikan is Twitter's unified cache backend

[DEPRECATED] A web framework for C.

Git - the stupid content tracker - This is a publish-only "broken out" repository and all pull requests are ignored. Please follow Documentation/SubmittingPatches procedure for any of your improvem…

Play and Enjoy the History of Microsoft Flight Simulator

PHP bindings for libgit2

M5StickC Arduino Library

Build native RPM packages for Centos/RHEL/Fedora from any Linux distro or even OSX, by leveraging docker capabilities.

Trmnl & Home Assistant E-Ink dashboard on the Inkplate displays

An EPub Reader for the ESP32 based InkPlate e-Ink devices.

eID Middleware (main repository)

Programming language that compiles into a x86 ELF executable.