A Git-compatible VCS that is both simple and powerful

Shows the dependency tree for ports in MacPorts as a graph

💝 Trivia about typefaces.

Nix Workshop materials

Learn to write Rust procedural macros  [Rust Latam conference, Montevideo Uruguay, March 2019]

Mod repo for Tears of The Kingdom (TOTK) for Switch and Switch Emulation

Add hardship to your tests

Fuzzy search helper for Alfred 3+ workflows

[DEPRECATED] Windows helpers for GnuPG tools suite

The book "Performance Analysis and Tuning on Modern CPU"

Examples and hands-on labs for Linux tracing tools workshops

The Linux perf GUI for performance analysis.

Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.

Helper to interface with Windows ssh-agent.exe service from Windows Subsystem for Linux (WSL)

A Rust compiler front-end for IDEs

tmux source code

A memory profiler for Linux.

A simple, modern and secure encryption tool (and Go library) with small explicit keys, no config options, and UNIX-style composability.

A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust

Over 400 terminal color schemes/themes for iTerm/iTerm2. Includes ports to Terminal, Konsole, PuTTY, Xresources, XRDB, Remmina, Termite, XFCE, Tilda, FreeBSD VT, Terminator, Kitty, MobaXterm, LXTer…

Ivy - a generic completion frontend for Emacs, Swiper - isearch with an overview, and more. Oh, man!

A use-package declaration for simplifying your .emacs

Tokio-based IMAP implementation

Rust API to the OS X Hypervisor framework for hardware-accelerated virtualization

historical archive of rust pre-publication development

The property-based testing library for Python

A book-in-progress about the Linux kernel and its insides.

A Python-like systems programming language

Platform for Architecture-Neutral Dynamic Analysis