The PHP Interpreter

🎥 Command line media player

Command-line JSON processor

BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

FFmpeg for browser, powered by WebAssembly

Playground (and dump) of stuff I make or modify for the Flipper Zero

Distributed PostgreSQL as an extension

A highly customizable macOS status bar replacement

A fast image processing library with low memory needs.

A single-header ANSI C immediate mode cross-platform GUI library

Public repository of the QuickJS Javascript Engine.

Sioyek is a PDF viewer with a focus on textbooks and research papers

tiniest x86-64-linux emulator

The “Quite OK Image Format” for fast, lossless image compression

Low-level unprivileged sandboxing tool used by Flatpak and similar projects

Run arbitrary commands when files change

A bare metal programming guide (ARM microcontrollers)

📺🗿 Terminal graphics for the 21st century.

Bash and Zsh shell history TUI suggest box - easily view, navigate, search and manage your command history.

Connect external monitors to your system via Wifi-Display specification also known as Miracast

A modal keyboard-driven virtual pointer

Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let people easily make their existing C code type-safe and eliminate …

A lightweight Wayland notification daemon

GPU based Electron on a diet

Run Kotlin/JS libraries in Kotlin/JVM and Kotlin/Native programs

One true awk

Extension for specialized native data structures in PHP

Umka: a statically typed embeddable scripting language

Pelikan is Twitter's unified cache backend

Rune is a programming language developed to test ideas for improving security and efficiency.