Set of icons representing programming languages, designing & development tools

My dotfiles synced form localhost and remote machines

A simple zsh plugin that replaces Ctrl+R with an fzf-driven select which includes date/times.

Magnificent app which corrects your previous console command.

A tool that recovers the public key used to sign JWT tokens

🐍 A toolkit for testing, tweaking and cracking JSON Web Tokens

Master programming by recreating your favorite technologies from scratch.

✨ Magical shell history

Fish-like autosuggestions for zsh

Advent of Code complete solution archive and common library

Userspace tool to map virtual page addresses to physical addresses.

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

A personal experimental C++ Syntax 2 -> Syntax 1 compiler

A collection of out-of-tree Clang plugins for teaching and learning

A collection of out-of-tree LLVM passes for teaching and learning

Haskell LLVM JIT Compiler Tutorial

The interactive web server

A collection of ZSH frameworks, plugins, themes and tutorials.

Replace zsh's default completion selection menu with fzf!

A curated list of awesome command-line frameworks, toolkits, guides and gizmos. Inspired by awesome-php.

Download your Spotify playlists and songs along with album art and metadata (from YouTube if a match is found).

A constructive proof assistant for second order logic.

Animation engine for explanatory math videos