A specification language and checker that helps people formalize rules and expose ambiguity.

Manages infrastructure configuration through declarative files and deploys it across environments.

A VS Code extension that helps developers plan, write, test, and debug software with an AI engineering assistant.

Runs, formats, and tests Go programs in a browser-based sandbox.

A local development daemon that assigns free ports and routes apps to clean hostnames.

Provides an API for developers to generate PDF and Excel documents from templates and dynamic data.

Provides APIs and tools to capture web flows as narrated demo videos, screenshots, PDFs, and other assets.

A browser-based environment for creating and running Karl sheets.

An open-source toolchain for defining data models and APIs and generating code across languages.

Governs and deploys software built with AI coding tools into a company's own cloud.

Runs AI agent workloads in ephemeral, checkpointable local Linux microVMs.

Distributes team coding standards to AI coding agents and records approved deviations for software teams.

An open-source tool that analyzes Postgres migrations for lock risks and suggests safer rewrites for development teams.

An open-source browser automation tool that lets AI agents navigate and control websites using natural language.

Compares developer tool subscriptions with the cost of building and maintaining alternatives, and flags cheaper options.

Runs a persistent Alpine Linux virtual machine in a browser for development, learning, and testing on desktop and mobile devices.

Captures AI agent conversations and links them to git commits for developers.

A tutorial series teaches developers how to build an LLM agent from scratch.

Connects people who built apps with AI tools to developers who can fix bugs and add features.

A directory for discovering abandoned GitHub repositories that may be worth reviving.

Coordinates and monitors parallel AI coding agent sessions for engineering teams.

A digital museum showcasing examples of handwritten code from an earlier era.

A macOS menu bar app that uses Claude or Gemini to work on GitHub issues overnight and create pull requests.

Coordinates AI coding agents through task claims, messaging, shared visibility, and human escalation.

Converts OpenAI Assistants API code to the Responses API for developers.

A React Native library that animates numbers digit by digit with configurable renderers and number formatting.

A browser-based tool for CNC users to optimize and merge Fusion 360 G-code files.

Generates Python project scaffolds with quality checks and documentation that keeps AI coding agents aligned.

Analyzes GitHub repositories to create a developer fingerprint based on code style and quality.

Stores, optimizes, transforms, and delivers images for apps, with optional user sign-in and storage spaces.

Processes, filters, and transforms geospatial data through URL-based API requests.

Tracks uptime and incidents across developer services in a public dashboard.

Helps developers and AI agents discover, install, and run command-line tools through a single CLI.

Provides developers with URL metadata, technology, DNS, and SSL data through a structured API.

A declarative language and composition engine for representing and processing context as structured data.

Helps developers create and preview shadcn/ui themes, then export CSS for Tailwind v4.

Automates multilingual documentation updates for GitHub repositories and opens pull requests for maintainers to review.

Tracks and gates tasks for AI coding agents to keep implementation work from being forgotten.

Lets developers bulk manage GitHub and GitLab repositories and receive commit summary emails.

Shares, embeds, and lets users continue Claude Code sessions as web artifacts.

Schedules encrypted database backups and restores for small SaaS teams using PostgreSQL, MySQL, or MongoDB.

A systems programming language that verifies code contracts at compile time for systems developers.

A platform for building, deploying, and managing software and data workflows across fleets of edge and embedded devices.

A Next.js boilerplate with authentication, payments, email, and database features for launching startups faster.

A desktop app that highlights codebase complexity, maintenance cost, and potential failure risk locally.

An open-source Flutter SDK for building app onboarding flows and adding authentication.

Deploys OpenClaw to a user's own server without requiring technical setup.

A searchable reference explaining software products and concepts through their underlying computer science primitives.

Tracks coding-agent usage, costs, and streaks for developers through a local CLI and online profiles.

A command-line tool that helps JavaScript monorepo maintainers keep dependency versions consistent.

Turns GitHub pushes, pull requests, and releases into a shareable feed with AI summaries.

A browser-based Unix-like workspace for running shell commands, Git, Node, npm, and Claude Code without installation.

Creates live preview URLs for projects built by AI agents without requiring a Vercel account or GitHub repository.

A Chrome extension for developers to intercept, mock, and inspect network requests while building and testing APIs.

A math-focused Linux workstation designed for high-performance computing on consumer hardware.

A pixel companion that accompanies users during Claude Code sessions.

A CLI for building, validating, and publishing TypeScript packages.

Monitors websites and services for downtime and sends alerts while providing public status pages.

An open-source interactive shell and typed scripting language for Windows, Mac, and Linux.

An interactive simulator for exploring RocksDB-style LSM tree operations and compaction.

Provides free, browser-based utilities for developers, including JSON formatting, encoding, cryptography, and text tools.

A community directory of copy-paste workflows, templates, and skills for AI coding agents.

Helps teams use AI to change existing software, organize the work, and review changes before release.

A video editing SDK for developers to generate captions, edit timelines, and render videos in browsers or on servers.

A framework for building cross-platform desktop apps with Java backends and web frontends.

An AI testing agent that runs natural-language test scenarios across web, mobile, and desktop applications.

A command-line tool that creates one-time public links for files hosted temporarily from your machine.

Runs local simulations of external services so developers can test AI agents without vendor sandboxes.

Monitors websites, APIs, cron jobs, and SSL certificates and sends alerts through Telegram.

A self-hosted app for organizing and managing large link directories on a single page.

Lets AI agents control a real iPhone and replay saved app flows in CI without an LLM.