Native WebRTC low-latency P2P video streaming on Raspberry Pi and NVIDIA Jetson with both hardware and software encoding support.

Make Emacs use the $PATH set up by the user's shell

Modular in-buffer completion framework for Emacs

C/C++/ObjC language server supporting cross references, hierarchies, completion and semantic highlighting

An axiom-free formalization of category theory in Coq for personal study and practical work

The Monad Transformer Library

Google's Operations Research tools:

Haskell source code suggestions

Haskell library for simple, concise and fast generic operations.

Retro Game Engine for Racket

Code AI platform with Code Search & Cody

A Python implementation of the watershed image segmentation algorithm

Git status for Bash and Zsh prompt

A work-in-progress, open-source, multi-player city simulation game.

Apache Kafka - A distributed event streaming platform

Move messages between two SQS queues

SciPy library main repository

A Python Library for Self Organizing Map (SOM)

Relax! Flux is the ML library that doesn't make you tensor

A header-only C++ library for numerical optimization --

The official NGINX Open Source repository.

Trace And Rewrite Delays In Syscalls: Hooking time-related Linux syscalls to warp a process's perspective of time, using ptrace.

A library that provides an embeddable, persistent key-value store for fast storage.

Rust parser combinator framework

DEPRECATED! Dockerfiles to package Nix in a minimal docker container

Ultimate Plumber is a tool for writing Linux pipes with instant live preview

A semi compile-/run-time associative map container with compile-time lookup and run-time storage

MySQL/MariaDB database management for macOS

Free and Open Source, Distributed, RESTful Search Engine