The fastest path to AI-powered full stack observability, even for lean teams.

⚡ KCP - A Fast and Reliable ARQ Protocol

Flipper Zero firmware source code

Public repository of the QuickJS Javascript Engine.

🚀 A fast WebAssembly interpreter and the most universal WASM runtime

Ultra-lightweight JavaScript engine for the Internet of Things.

Linux namespaces and seccomp-bpf sandbox

Higher level programming in C

SQLCipher is a standalone fork of SQLite that adds 256 bit AES encryption of database files and other security features.

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

xhyve, a lightweight OS X virtualization solution

sc-im - Spreadsheet Calculator Improvised -- An ncurses spreadsheet program for terminal

The seL4 microkernel

Wrangling Untrusted File Formats Safely

Embeddable, replicated and fault-tolerant SQL engine.

GnuCash Double-Entry Accounting Program.

Lightweight CLI download accelerator

A scalable TLS proxy by Varnish Software.

Tools for developers to create truly open IoT products using standard JavaScript on low cost microcontrollers.

Firefox Reader View as a command line tool

Linux D-Bus Message Broker

SeaHorn Verification Framework

The efficient SMT-based context-bounded model checker (ESBMC)

A JavaScript runtime optimized for the applications that power IoT devices.

Neptune OS: A Windows NT personality for the seL4 microkernel

A portable hybrid distributed OS based on Inferno, LuaJIT and Libuv

CloudABI's standard C library

Meta-level run-time services for Unix processes... a.k.a. dragging Unix into the 1980s

A fuse filesystem for mounting archives in formats supported by libarchive.

Linux kernel with Capsicum support