NixOS Homelab deployed on Proxmox

Get your documents ready for gen AI

A machine learning software for extracting information from scholarly documents

Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.

Software used for Hive

收集关于阅星瞳X4的软硬件信息

Rust-native RPC, friendly to other languages via facet-powered codegen

A Rust verification tool

Sound static analysis for the masses.

A simple multi-profile Nix-flake deploy tool.

A persistent `defmt` logger that survives resets!

CLI, Web, LSP, and MCP toolkit to measure spec coverage in Rust codebases

A very fast linker for Linux

Personal nixos and home-manager configurations.

Framework for simplifying flake setup [maintainer=@accelbread]

Coding Guidelines for Safety Critical Rust developed by the Safety Critical Rust Consortium.

A nix-shell for developing with Rust on Xtensa+RISCV ESP32 targets

A high-legibility programming font engineered to minimize cognitive load.

The de facto operating system developed for the cult of Ayumu "Osaka" Kasuga.

CSS is powerful, you can do a lot of things without JS.

Repository for the article Explaining Atomics in Rust

You Suck at Programming - Dave Eddy

Symbolic execution of compiled binaries

Personal configuration files for my PC

Offline, privacy-first grammar checker. Fast, open-source, Rust-powered

A Nixpkgs module system usage pattern

Nix overlay for Lean 4, and lake2nix

Maliciously-Secure Multi-Party Computation (MPC) Engine using Authenticated Garbling

Flakebox is to your Rust project dev environment, what NixOS is to your OS, or home-manager to your home directory.

A calligraphic esolang