Miguel Young's repositories
bazel-embedded
Tools for embedded/bare-metal development using bazel
cargo-mommy
Mommy's here to support you when running cargo~
compiler-explorer
Run compilers interactively from your web browser and interact with the assembly
der-ascii
A reversible DER and BER pretty-printer.
envoy
Cloud-native high-performance edge/middle/service proxy
misc-linters
Some Internal Linter Scripts
opentitan-1
OpenTitan: Open source silicon root of trust
protobuf
Protocol Buffers - Google's data interchange format
protobuf.com
Buf's Guide to Protobuf. Home of the language spec and grammar for the Protobuf IDL.
protoscope
Protoscope is a simple, human-editable language for representing and emitting the Protobuf wire format.
rust
Empowering everyone to build reliable and efficient software.
rust-subprocess
Execution of and interaction with external processes and pipelines
sseq
The root repository for the SpectralSequences project.