Gary Guo's repositories
muntjac-soc
SoC for muntjac
edgeos-patch
A simple patch to make EdgeOS better.
crater
Run experiments across parts of the Rust ecosystem!
ibex
Ibex is a small 32 bit RISC-V CPU core, previously known as zero-riscy.
ibex-demo-system
A demo system for Ibex including debug support and some peripherals
imap-codec
Rock-solid and complete codec for IMAP
lowrisc-nix
lowRISC Nix Packages and Environments
mi-cron
📆 A microscopic parser for standard cron expressions.
nixos-anywhere
install nixos everywhere via ssh [maintainer=@numtide]
nixos-images
Automatically build (netboot) images for NixOS [maintainer=@Mic92]
rules_rust
Rust rules for Bazel
rust-bindgen
Automatically generates Rust FFI bindings to C (and some C++) libraries.
rustup
The Rust toolchain installer
serde-annotate
Serde Serializer with formatting controls
sonata-system
A full micro-controller system utilizing the CHERIoT Ibex core, part of the Sunburst project funded by UKRI