The repo is finally unlocked. enjoy the party! The fastest repo in history to surpass 100K stars ⭐. Join Discord: https://discord.gg/5TUQKqFWd Built in Rust using oh-my-codex.

A terminal workspace with batteries included

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

Anki is a smart spaced repetition flashcard program

🚀 Fast, secure, lightweight containers based on WebAssembly

A lightweight and high-performance reverse proxy for NAT traversal, written in Rust. An alternative to frp and ngrok.

Actor framework for Rust.

Fast, Declarative, Reproducible, and Composable Developer Environments using Nix

WebAssembly System Interface

Install Nix and flakes with the fast and reliable Determinate Nix Installer, with over 7 million installs.

A modern Prolog implementation written mostly in Rust.

A safe, easy systems language

NIx Language server, an incremental analysis assistant for writing in Nix.

Tvix - A Rust implementation of Nix. Read-only mirror of https://code.tvl.fyi/tree/tvix

An x86 bootloader written in Rust.

Test and benchmark suite for sort implementations.

The Lean version manager

@ofborg tooling automation https://monitoring.ofborg.org/dashboard/db/ofborg

A Nix companion to improve developer experience

Modern, beginner-friendly 3D and 4D Rubik's cube simulator

A TUI-first CLI for managing Cloudflare Tunnels with custom domains

Pulls the C/C++ library linking flags from Conan dependencies