Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

dev tools, env vars, task runner

Haskell port of AtCoder Library (ACL) + Extra modules

A Cargo subcommand for competitive programming

AtCoder command line tools

The official Rust SDK for the Model Context Protocol

An unofficial Copilot plugin for Emacs.

An Emacs framework for the stubborn martian hacker

Defines a common protocol for language servers.

Doom Emacs config

Native PostgreSQL driver for the Rust programming language

Visualize Ownership and Lifetimes in Rust

An HTTP client engine, intended as a base layer for more user-friendly packages.

♊ higher-order, no-boilerplate monads

Flake templates

Nix flake templates managed by the community [maintainer=@IogaMaster]

A parser combinator library for Rust

Learn and Practice the Rust programming language the effective way.

Nio is an experimental async runtime for Rust

Manage a user environment using Nix [maintainer=@khaneliman, @rycee]

Safe, consistent, and easy exception handling

A collection of NixOS modules covering hardware quirks.

Rust PostgreSQL database performance insights. Locks, index usage, buffer cache hit ratios, vacuum stats and more.

Zero-cost asynchronous programming in Rust

An async ORM for Rust (incubating)

Defines the Rust borrow checker.

Lean 4 programming language and theorem prover

ndarray: an N-dimensional array with array views, multidimensional slicing, and efficient operations