Nix Integrations

Use our free, collaborative, in-browser IDE to code in 50+ languages — without spending a second on setup. Start coding with your favorite language on any platform, OS, and device. Invite your friends, teammates, and colleagues right into your code with Google-docs like editing. Import, run, and collaborate on millions of GitHub repos with 0 manual setup. From Python, to C++, to HTML and CSS, stay in one platform to learn and code in any language you want. The second you create a new repl, it's instantly live and sharable with the world. Learn how to code from 3 million+ passionate programmers, technologists, creatives, and learners of all kinds. Make your team more productive with interactive docs, real-time collaboration, and 0-hassle remote interviewing. Create apps programatically, spin up bots and customize the IDE with plugins to fit your needs.

CodeSandbox is a cloud development platform that empowers development teams to code, collaborate, and ship projects of any size from any device in record time. Run your code in powerful microVMs and build anything without limits. We configure your environment for you and keep your code always ready, behind a URL. Boxy, the CodeSandbox AI coding assistant, is also now available to all Pro subscribers.

Daytona is a cloud-native development runtime that enables developers and AI agents to instantly create, run, and manage isolated sandboxes for any codebase. Each sandbox runs inside a secure microVM with full Linux compatibility, networking, and persistent storage. Daytona provides SDKs in Python and TypeScript, allowing applications to programmatically execute code, run processes, upload files, or spin up environments dynamically. Teams use Daytona to replace complex local setups with reproducible cloud sandboxes that can be started in seconds and accessed through preview URLs, SSH, or APIs. It’s built for automation, observability, and scalability, powering everything from personal development environments to enterprise-grade agent runtimes.

Echidna is a Haskell program designed for fuzzing/property-based testing of Ethereum smart contracts. It uses sophisticated grammar-based fuzzing campaigns based on a contract ABI to falsify user-defined predicates or Solidity assertions. We designed Echidna with modularity in mind, so it can be easily extended to include new mutations or test specific contracts in specific cases. Generates inputs tailored to your actual code. Optional corpus collection, mutation and coverage guidance to find deeper bugs. Powered by Slither to extract useful information before the fuzzing campaign. Source code integration to identify which lines are covered after the fuzzing campaign. Interactive terminal UI, text-only or JSON output. Automatic test case minimization for quick triage. Seamless integration into the development workflow. Maximum gas usage reporting of the fuzzing campaign. Support for a complex contract initialization with Etheno and Truffle.

Defang is a developer-centric platform that simplifies the process of developing, deploying, and debugging cloud applications. By leveraging AI-assisted tooling, Defang enables developers to swiftly transition from an idea to a deployed application on their preferred cloud provider. The platform supports multiple programming languages, including Go, JavaScript, and Python, allowing developers to start with sample projects or generate project outlines using natural language prompts. With a single command, Defang builds and deploys applications, handling configurations for computing, storage, load balancing, networking, logging, and security. The Defang Command Line Interface (CLI) facilitates interactions with the platform, offering installation options via shell scripts, Homebrew, Winget, Nix, or direct download. Developers can define services using compose.yaml files, which Defang utilizes to deploy applications to the cloud.

Hyprland is a dynamic tiling Wayland compositor that combines the latest Wayland innovations with smooth, eye-pleasing animations and a lightweight, responsive core. It offers automatic tiling with multiple fine-tunable layouts, rounded corners, and customizable window groups, plus global shortcuts and touchpad gesture support for fluid interaction. Its live-reloading, easy-to-read configuration format, and sensible defaults make setup and tuning straightforward, while comprehensive documentation guides users through advanced tweaks. A single, socket-based IPC system and a powerful plugin architecture let you extend and script every aspect of your workflow, whether by writing custom C++ extensions, leveraging community plugins, or controlling Hyprland via bindings in your favorite language. With native Wayland features like motion-smooth transitions, tear-free rendering, and modular window rules, Hyprland unlocks full control over your desktop without sacrificing performance.

Flox is a development environment manager and package tool that lets developers define, share, and replicate consistent environments across machines by leveraging the Nix ecosystem. Flox lets you create environments via a simple manifest.toml, layering and replacing dependencies precisely where needed. It activates subshells with reproducible dependencies and integrates shell hooks, version constraints, and services (e.g., local databases) to automate setup. Because it runs on the host system (rather than inside containers), developers maintain access to files, configurations, SSH keys, and shell aliases without Docker-style bind mounts. Flox supports cross-platform and multi-architecture environments by default, allowing environments to run identically on various systems; you can constrain them to specific systems or use package groups to manage architecture-specific dependencies.

Let Kodezi auto-summarize your code in seconds. Kodezi is Grammarly for programmers. Generate, ask, search, and code anything in your codebase with KodeziChat. Your personal AI coding assistant! Kodezi doesn't just fix your code for you, it tells you why it’s wrong and how to prevent future bugs. Reduce unnecessary lines of code and syntax to ensure clean end results. Optimize your code for optimum efficiency. Debug code with detailed explanations. Swap from one framework or language to another in an instant, without losing context. When writing code, commenting and explanations are crucial for future maintenance. Generate code from text, input a project question or create an entire function all in seconds! Generate your code documentation. Translate code to another language. Optimize your code for optimum efficiency. Use our extension within your own IDE, never have to rely on opening up new tabs ever again.

Azure Marketplace is a comprehensive online store that provides access to thousands of certified, ready-to-use software applications, services, and solutions from Microsoft and third-party vendors. It enables businesses to discover, purchase, and deploy software directly within the Azure cloud environment. The marketplace offers a wide range of products, including virtual machine images, AI and machine learning models, developer tools, security solutions, and industry-specific applications. With flexible pricing options like pay-as-you-go, free trials, and subscription models, Azure Marketplace simplifies the procurement process and centralizes billing through a single Azure invoice. It supports seamless integration with Azure services, enabling organizations to enhance their cloud infrastructure, streamline workflows, and accelerate digital transformation initiatives.