Creusot helps you prove your code is correct in an automated fashion.

Tool for partial deblobbing of Intel ME/TXE firmware images

IP addresses break, dial keys instead. Modular networking stack in Rust.

A flexible, ergonomic, and inspectable error reporting library for Rust.

Limited DNS server with RESTful HTTP API to handle ACME DNS challenges easily and securely.

Bit-banged 100 MBit/s Fast Ethernet transmitter and UDP framer for Raspberry Pi RP2040/RP2350

Portable file server with accelerated resumable uploads, dedup, WebDAV, SFTP, FTP, TFTP, zeroconf, media indexer, thumbnails++ all in one file

A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.

Peer-to-peer, editor-agnostic collaborative editing of local text files.

A FreeCAD PartDesign addon for FFF/FDM 3D-printing design.

Multi functional app to find duplicates, empty folders, similar images etc.

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

Ready-to-use SRT / WebRTC / RTSP / RTMP / LL-HLS / MPEG-TS / RTP media server and media proxy that allows to read, publish, proxy, record and playback video and audio streams.

TiXL is an open source software to create realtime motion graphics.

A microphone beamformer for Linux on Apple Silicon Macs written in Rust

WebDAV Push: Draft

An opinionated distribution of U-Boot. — https://matrix.to/#/#Tow-Boot:matrix.org?via=matrix.org

Dump unix domain socket traffic with bpf

A tiny Skia subset ported to Rust

Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need

Firmware Analysis Tool

scan nix packages for unused buildInputs

All-in-one Mail & Collaboration server. Secure, scalable and fluent in every protocol (IMAP, JMAP, SMTP, CalDAV, CardDAV, WebDAV).

A tool for creating technical documents and web standards

🚲 A preprocessor for anyone writing specifications that converts source files into actual specs.

Techniques and numbers for estimating system's performance from first-principles

Sync Storage server in Rust

Alternate firmware for cheap ultrasound directional speakers / parametric arrays. (Github archive, repo on Codeberg.)

Disk handling with Rust

syzkaller is an unsupervised coverage-guided kernel fuzzer