A Python Interpreter written in Rust

Freeze pip-installable packages into Nix expressions [maintainer=@datakurre]

icat (Image cat) outputs images in 256-color capable terminals.

Ecosystem of libraries and tools for writing and executing fast GPU code fully in Rust.

gRPC proxy is a Go reverse proxy that allows for rich routing of gRPC calls with minimum overhead.

Lean Theorem Prover MCP

Clean, modern, Python 3.6+ code generator & library for Protobuf 3 and async gRPC

Examples for using Connect with various TypeScript web frameworks and tooling.

Code from the CMU LM inference fall 2025 edition.

Use your Neovim like using Cursor AI IDE!

Effortless ROS 2 Package Management with Nix

Export Fusion 360 designs to SDF (Simulation Description Format)

ROS overlay for the Nix package manager

Convert ROS package.xml to package.nix

A repository with a NixOS configuration to run CUDA code on NVIDIA GPUs

Run unpatched dynamic binaries on NixOS [maintainer=@Mic92]

Windows inside a Docker container.

Modular, extensible and distro-agnostic Neovim configuration framework for Nix/NixOS

Modular autonomous driving platform running on the CARLA simulator and real-world vehicles.

🌐 | HTTP primitives for Lean 4

Neovim support for the Lean theorem prover

Lean 4 library for pretty printing expressions as LaTeX

Interact with Jupyter from NeoVim.

A collection of NixOS modules covering hardware quirks.

Simplified nix packaging for various programming language ecosystems [maintainer=@DavHau]