Terasology - open source voxel world

firecracker-containerd enables containerd to manage containers as Firecracker microVMs

diff for Docker and OCI container images

Reverse-engineer a Dockerfile from a Docker image.

The developer platform for on-demand cloud development environments to create software faster and more securely.

An online IDE for rapid web development

A lightweight process isolation tool that utilizes Linux namespaces, cgroups, rlimits and seccomp-bpf syscall filters, leveraging the Kafel BPF language for enhanced security.

Open-source, secure environment with real-world tools for enterprise-grade agents.

An unidentifiable mechanism that helps you bypass GFW.

Get 10X more out of Claude Code, Codex or any coding agent

A cross-platform GUI for ecapture built with Tauri, enabling eBPF-based, non-intrusive TLS inspection on Linux & Android, with remote clients for Windows, macOS, and Linux.

custom protocol network proxy

A multi-protocol proxy server written in Rust (HTTP, SOCKS5, Vmess, Vless, Shadowsocks, Trojan, Snell, Hysteria2, TUIC v5)

Successor of offcial TUIC implementation

Delicately-TUICed 0-RTT proxy protocol

A proxy tool to bypass GFW.

A V2Ray client for Android, support Xray core and v2fly core

Reflection (Rich Descriptors) for Go Protocol Buffers

MaraDNS: A small open-source DNS server

The Mullvad VPN client app for desktop and mobile

Postgres with GPUs for ML/AI apps.

An idiomatic, lean, fast & safe pure Rust implementation of Git

Terminal session recorder, streamer and player 📹

A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust

Turso is an in-process SQL database, compatible with SQLite.

A comprehensive, efficient, and reusable util function library of Go.

Professional Antigravity Account Manager & Switcher. One-click seamless account switching for Antigravity Tools. Built with Tauri v2 + React (Rust).专业的 Antigravity 账号管理与切换工具。为 Antigravity 提供一键无缝账号切…

🛸 A modern, cross-platform C++ webview library

Why is this running?

The best IP Toolbox. Easy to check what's your IPs, IP geolocation, check for DNS leaks, examine WebRTC connections, speed test, ping test, MTR test, check website availability, whois search and mo…