Lightweight HTTP proxy for optimizing Nix cache routes for fast access

Verified Rust for low-level systems code

Mirror of gti.telent.net:dan/liminix

Pure and reproducible nix overlay of binary distributed rust toolchains

❤︎ Iroh + WebRTC ❤︎

High-performance open BitTorrent tracker (UDP, HTTP, WebTorrent)

Performance and security acceleration for zkVMs.

Binary Proofs, Blazing Fast

TradingAgents: Multi-Agents LLM Financial Trading Framework

Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.

A 5-20x faster experimental Homebrew alternative

⚡️A terminal-based battery and energy monitor for macOS and Linux.

Robust Asynchronous Schnorr Threshold Signatures wrapper in Rust

A safe Rust wrapper for ext2/3/4 filesystem operations based on lwext4.

RW-capable ext4 driver with concurrency and async support

A user-friendly, lightweight TUI for disk imaging

A blazingly fast tool to diff Nix related things

Image for building kernel

Cartesi's permissionless fraud-proof system.

Reproducible Nix environments without installing Nix

Rust RISC-V Simulator

RISC-V emulator in Rust that boots Linux with JIT on ARM64/x86_64 and Sv39 virtual memory

RISC-V processor emulator written in Rust+WASM

Framework for implementing MPC protocol in Rust

Threshold Schnorr Signatures based on FROST in Rust

Memory layer for AI Agents. Replace complex RAG pipelines with a serverless, single-file memory layer. Give your agents instant retrieval and long-term memory.

Nix Packages collection & NixOS

CKB's vm, based on open source RISC-V ISA

Hermit for Rust.