Android app to help you stay in touch with the people you care about

A parser-combinator library for writing PEG-style grammars in Rust with a focus on useful errors, error recovery and good performance.

Firmware and Tool Binarys

Sign-off review checklist for PCB designs

Circuit Artist is a digital circuit drawing and simulation game.

Frame profiler

Declarative binary reading and writing: bit-level, symmetric, serialization/deserialization

Rust crates for MCTP protocol support, on Linux and embedded

A libbpf based tracer to help figure out what an application is doing.

Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.

Create memory map diagrams directly from linker map files

Patch Linux executables for compatibility with older glibc

Verified Rust for low-level systems code

A collection of TLA⁺ specifications of varying complexities.

🔬 A fast, interactive web-based viewer for performance profiles.

A Vim-like configuration for Helix

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

OpenBMC Distribution

lsof to graphviz

Fast and multi-platform Spotify client with native GUI

Qemu kernel for emulating Rpi on QEMU

Jon Bentley's DFORMAT troff preprocessor, reconstituted.

An interactive cheatsheet tool for the command-line

Auto-detect the connect display hardware and load the appropiate X11 setup using xrandr or disper

A tiny Open POWER ISA softcore written in VHDL 2008

Flash / Debug utility for the AST2500

An open source SPI flash emulator and monitor

🧠 Laws, Theories, Principles and Patterns for developers and technologists.

Signed/Encrypted ARchive: always-encrypted tar-like archive tool with optional signature support

QuickCheck bug hunting in Rust standard library data structures