Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 40 million developers.
Hide content and notifications from this user.
Learn more about blocking users
Contact Support about this user’s behavior.
Learn more about reporting abuse
PingCAP training courses
Fast email-fetching and two-way tag synchronization between notmuch and GMail
Ultimate Go study guide, with heavily documented code and programs analysis all in 1 place
Bash/Zsh completion script for Elm binary and tools
There's a function for that!
A cross-platform, GPU-accelerated terminal emulator
TLA+ tools for Emacs
Resilience engineering papers
An embedded key/value database for Go.
Very small examples of TLA+ features.
Roadmap to becoming a web developer in 2019
Fathom. Simple, privacy-focused website analytics. Built with Golang & Preact.
Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3
Zero-configuration command-line async HTTP files server in Clojure. Like Python's SimpleHTTPServer but scalable.
Automated solution for hosting email, web, DNS, XMPP, and ZNC on OpenBSD.
A personal website / #indieweb engine [OLD VERSION]
An evolving how-to guide for securing a Linux server.
A tutorial for writing a systemd service in Python
Clipboard manager with advanced features
🌸 A command-line fuzzy finder
A text expander for Linux.
A minimal, extensible, fast and productive framework for building HTTP APIs with Python 3.6 and later.
A standalone version of the readability lib
Command line binaries for the TLA+ language
Functional Programming Course
Class materials for a distributed systems lecture series
An emacs theme that's well suited for modes using variable pitch: particularly org-mode and markdown-mode.