# linux

Blazing-fast PHP linter, formatter, and static analyzer in Rust

Mago is a comprehensive PHP toolchain written in Rust that unifies linting, formatting, and static analysis into a single binary. It enforces PER-CS formatting standards, catches code smells with 100+ lint rules, and performs deep type inference for semantic analysis. Inspired by Clippy and OXC from the Rust ecosystem, it delivers performance orders of magnitude faster than PHPStan and Psalm while requiring no PHP runtime to execute.

CLI tool to convert codebases into LLM-ready prompts

code2prompt is a Rust CLI that converts entire codebases into structured prompts optimized for LLM context windows. It intelligently filters files using gitignore patterns, respects token budgets, generates directory tree visualizations, and supports custom Handlebars templates for output formatting. The tool addresses the core challenge of feeding large codebases to AI coding assistants by producing clean, organized context that maximizes the value of limited token budgets.

Elasticsearch-quality full-text and hybrid search inside Postgres

ParadeDB brings Elasticsearch-quality full-text search, BM25 ranking, and hybrid vector-keyword search directly into PostgreSQL as native extensions. Backed by a 12 million dollar Series A with over 500,000 Docker deployments, it eliminates the overhead of running separate search infrastructure. Teams get powerful search within their existing Postgres stack without managing additional clusters.

Kanban board with isolated workspaces for AI coding agents

Vibe Kanban bridges project management and AI coding agents by providing kanban-style issue tracking with dedicated workspaces where agents like Claude Code, Codex, and Gemini CLI execute tasks. Each workspace gets its own Git branch, terminal, dev server, and preview environment through Git Worktrees isolation. Developers can review diffs, leave inline comments, and manage 10+ parallel coding sessions from a single Rust-powered interface with a local-first SQLite architecture.

Browser automation CLI built for AI agents by Vercel Labs

Agent Browser is a Rust-based browser automation CLI designed specifically for AI agent workflows rather than traditional testing. Developed by Vercel Labs, it provides semantic element selection through a refs system, accessibility tree snapshots, session persistence, and authentication vaults. Unlike Playwright or Puppeteer which target test automation, Agent Browser optimizes for token efficiency and deterministic element selection that gives LLMs reliable browser interaction capabilities.

Open-source microVMs for secure serverless and AI agent sandboxing

Firecracker is an open-source virtual machine monitor that creates lightweight microVMs with sub-150ms cold starts, originally built by AWS for Lambda and Fargate. With 28,000+ GitHub stars, it provides kernel-level isolation for running untrusted code safely and powers the sandboxing infrastructure behind AI coding agents like Devin and E2B.

Powerful shell with programmable completion

Open-source LLM inference server optimized for high-throughput, low-latency serving of large language models. Supports continuous batching, tensor parallelism, and quantized models for efficient GPU utilization. Production-ready with OpenAI-compatible API endpoints. The standard for self-hosting open-source models at scale, trusted by enterprises running custom LLM deployments with strict latency and cost requirements.

Lightweight fast text editor known for speed

Lightweight, cross-platform code editor built in Rust for extreme speed. Opens instantly and handles large files without lag. Supports LSP for language intelligence, Vim and Emacs keybindings, and real-time multiplayer collaboration. With GPU-accelerated rendering and a growing extension ecosystem, Zed offers the fastest editing experience available for developers who prioritize responsiveness above all else.

Extensible self-documenting editor with Elisp environment

Microsoft's free, extensible code editor that dominates the developer tools market. Rich extension marketplace, integrated terminal, Git support, and IntelliSense code completion. Supports virtually every programming language and framework. The default IDE for millions of developers worldwide, offering a balance of lightweight performance and full-featured development capabilities through its massive plugin ecosystem.

The ubiquitous modal text editor

Full-featured IDE suite from JetBrains covering every major programming language — IntelliJ IDEA for Java/Kotlin, PyCharm for Python, WebStorm for JavaScript, and more. Known for deep code intelligence, powerful refactoring, and built-in database tools. The professional choice for developers who need comprehensive language-specific tooling with AI assistance integrated directly into their workflow.

Hyperextensible Vim-based text editor

Modern fork of Vim with Lua-based plugin architecture and built-in LSP support. Lightweight yet endlessly extensible, it serves as the foundation for AI-enhanced development workflows through plugins like Avante, Codecompanion, and Copilot.lua. With 85k+ GitHub stars, it's the terminal editor of choice for developers who value speed, customization, and keyboard-driven efficiency.

A new type of shell

AI-first code editor built for pair programming with AI. Features multi-file editing, inline code generation, and a conversational AI sidebar for codebase Q&A. Supports all major LLM providers with deep codebase understanding. The most popular AI code editor, known for pioneering agent-mode development and setting the standard for AI-native IDE experiences.

A modern terminal workspace

Modern terminal workspace manager written in Rust that provides tmux-like functionality with a more intuitive UX and batteries-included defaults. Features split panes, tabs, sessions, floating/stacked layouts, a built-in plugin system (via WebAssembly), and a status bar with configurable widgets. Supports mouse interaction, copy mode, and sixel images. No configuration required to get started. Growing as a modern tmux alternative with 23K+ GitHub stars and an active plugin ecosystem.

Terminal multiplexer

Terminal multiplexer that lets you run multiple terminal sessions inside a single window with splits, tabs (windows), and detachable sessions. Sessions persist after disconnecting — essential for remote server work via SSH. Features customizable key bindings, statusbar, scriptable via tmux commands, and copy mode for scrollback navigation. Extensive plugin ecosystem via TPM (Tmux Plugin Manager). The standard for terminal session management for 15+ years. Pre-installed on most Linux servers.

The fast, feature-rich terminal

GPU-accelerated terminal emulator written in C and Python, focused on performance and features. Supports ligatures, true color, graphics protocol for displaying images/plots inline, tabs, splits, and remote control via IPC. Highly configurable via a plain text config file. Cross-platform on macOS and Linux. Features a kitten framework for writing terminal programs in Python. Known for innovation in terminal graphics. 26K+ GitHub stars and a dedicated power-user community.

GPU-accelerated terminal with Lua config

GPU-accelerated cross-platform terminal emulator written in Rust with configuration in Lua for maximum flexibility. Supports multiplexing (splits, tabs, workspaces), ligatures, true color, sixel/iTerm2/Kitty image protocols, and SSH multiplexer for remote sessions. Extensive keyboard/mouse customization, dynamic color schemes, and a built-in serial port mode. Works on macOS, Linux, Windows, and FreeBSD. Known for deep customizability. 19K+ GitHub stars.

A fast, cross-platform terminal

Self-described 'fastest terminal emulator in existence' — a GPU-accelerated, cross-platform terminal written in Rust focused on simplicity and performance. No tabs, splits, or built-in multiplexer — designed to pair with tmux or Zellij. Configured via YAML with a minimal feature set that prioritizes speed above all else. Supports true color, Vi mode, regex search, and clickable URLs. Available on macOS, Linux, Windows, and BSD. 57K+ GitHub stars.