A community preview of ongoing formal verification efforts for Asterinas

Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.

Multi-tenant Nix Binary Cache

LibreSilicon's Standard Cell Library Generator

A desktop-grade hardware interaction node that connects systems, games, and the physical world.

Home Assistant integration to detect washer cycles from smart plug power, match programs, and estimate time remaining

Kiln PID controller based on Espressif Systems ESP32 chip board with Arduino IDE.

Turns a Raspberry Pi into an inexpensive, web-enabled kiln controller.

🚀2.3x faster than MinIO for 4KB object payloads. RustFS is an open-source, S3-compatible high-performance object storage system supporting migration and coexistence with other S3-compatible platfor…

Ceph is a distributed object, block, and file storage platform

Fil-C as a Nix C/C++ toolchain and cross platform

Fil-C: completely compatible memory safety for C and C++

GLM-TTS: Controllable & Emotion-Expressive Zero-shot TTS with Multi-Reward Reinforcement Learning

A tool for glamorous shell scripts 🎀

A Mini-Whip clone capable of lower supply voltages or battery powered

This repository is a demonstrator for bootable NixOS images with immutable A/B partitions using systemd-repart and systemd-sysupdate

An open-source Dynamic Light Scattering hardware and software

A sub-micrometer 3D motion control plattform.

Fully automatic censorship removal for language models

LinuxCNC controls CNC machines. It can drive milling machines, lathes, 3d printers, laser cutters, plasma cutters, robot arms, hexapods, and more.

🛜 ESPectre 👻 - Motion detection system based on Wi-Fi spectre analysis (CSI), with Home Assistant integration.

An experimental os, featuring finit as pid 1, to explore the NixOS design space

An exploration of code homeomorphism

Non-blocking direnv integration daemon with tmux support that provides instant shell prompts by running direnv asynchronously in the background.

Bounce your terminal like a DVD screen

Hardware-based authentication using SRAM Physical Unclonable Functions (PUF) on ESP32 microcontrollers. Research-based PoC with 44,778 measurements across 16 devices over 6 months.

Reticulum Networking Stack implementation written in Rust

Project Repository for the NFC Resonant Repeater project