Command-line JSON processor

stb single-file public domain libraries for C/C++

i3-compatible Wayland compositor

A simple Minecraft clone written in C using modern OpenGL (shaders).

πfs - the data-free filesystem!

Official git repo for iodine dns tunnel

Reparent a running program to a new terminal

Pony is an open-source, actor-model, capabilities-secure, high performance programming language

The seL4 microkernel

Coz: Causal Profiling

OSv, a new operating system for the cloud.

v4l2-loopback device

The only tool/technique to punch holes through firewalls/NATs where multiple clients & server can be behind separate NATs without any 3rd party involvement. Pwnat is a newly developed technique, ex…

Reference implementation for the peer-to-peer agent that manages the Stellar network.

Io programming language. Inspired by Self, Smalltalk and LISP.

An OpenGL RTS game engine written in C

A low latency, high framerate screen sharing server for Windows and client for browsers

Easy to use cryptographic framework for data protection: secure messaging with forward secrecy and secure data storage. Has unified APIs across 14 platforms.

Modern transactional key-value/row storage library.

A cross-platform WebRTC client framework based on GStreamer

MultiMarkdown version of Notational Velocity with Markdown editing features and preview

Open-source E-ink monitor. Mirror of https://gitlab.com/zephray/glider

Postgres as a Platform

Hypothetical Indexes for PostgreSQL

Open-source implementation of the K programming language

Bootstrapping LISP in a Boot Sector

PG-Strom - Master development repository

Create awesome e-paper dashboards within minutes! Modularity? Check! Python3? Check? Works on Raspberry Pi Zero W? Check! Support for own modules? Check!

A searchable, syncable, content-addressable notetaking system

Temporal Tables PostgreSQL Extension