hecatia-elegua

diffsitter. A tree-sitter based AST difftool to get meaningful semantic diffs

tauri. Build smaller, faster, and more secure desktop and mobile applications with a web frontend.

magmide. A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

snow. A Rust implementation of the Noise Protocol Framework

atomig. Generic and convenient `std` atomics via `Atomic<T>`

atomic-rs. Generic Atomic<T> type for Rust

patch2pr. Create pull requests from patches without cloning the repository

cargo-msrv. 🦀 Find the minimum supported Rust version (MSRV) for your project

hubris. A lightweight, memory-protected, message-passing kernel for deeply embedded systems.

slotmap. Slotmap data structure for Rust

git-cliff. A highly customizable Changelog Generator that follows Conventional Commit specifications ⛰️

vortex. Verilog

difftastic. a structural diff that understands syntax 🟥🟩

zola-hook. A clean and simple personal site/blog theme for the Zola static site generator

bitfield. Rust crate for bitfields and bit-enums

rust-analyzer. A Rust compiler front-end for IDEs

reflect. Compile-time reflection API for developing robust procedural macros (proof of concept)

blog_os. Writing an OS in Rust

Theseus. Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety and affine types. Theseus aims to shift OS responsibilities like resource management into the compiler.

arbitrary-int. A modern and lightweight implementation of arbitrary integers for Rust

bilge. Use bitsized types as if they were a feature of rust.