A community preview of ongoing formal verification efforts for Asterinas
Archive
Matched by dependency overlap in Cargo manifests — each card notes the most distinctive crates both projects share.
A community preview of ongoing formal verification efforts for Asterinas
Rust bindings for libvips
a colorful modal hex editor
TUI-based application for ⏱ Pomodoro + 🚫 Site Blocking + 📊 WakaTime Tracking
Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.
safe type-1 Rust Hypervisor for edge devices
htop-like TUI for real-time RDMA network monitoring.
trmt is a 2D Turing machine (turmite) for your terminal.
Rust port of C++ llvm::APFloat library
A git-aware, read-only file viewer for herdr. Mouse friendly, keyboard-driven TUI: tree + content pane with diffs, rendered markdown, and syntax highlighting.