Stars
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
A collection of TLA⁺ specifications of varying complexities.
🔬 A fast, interactive web-based viewer for performance profiles.
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
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
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
A command line tool that recreates the famous data decryption effect seen in the 1992 movie Sneakers.
A (micro) web-application to make web-based Signal bots easy to write. THIS IS A MIRROR
A tool to query a gerrit instance for email addresses
Open-source firmware for your baseboard management controller (BMC)
🔥 Pyflame: A Ptracing Profiler For Python. This project is deprecated and not maintained.
Bitwise is an educational project where we create the software/hardware stack for a computer from scratch.