A collection of opinionated keyboard-driven user interfaces for various built-in Emacs modes.

🦄 Modern Org Style

Tool Support for Correctness-by-Construction

Make your pi images smaller!

Guide to using YubiKey for GnuPG and SSH

cs140e course materials.

A vector PDF of the official mission logo of NROL-39 released via FOIA

Old version. Visualise data and edit JavaScript code using a spreadsheet interface.

📝 Algorithms and data structures implemented in JavaScript with explanations and links to further readings

500 Lines or Less

Python-like Annotation Syntax for Common Lisp

The Clojure programming language

My website!!!

Moved to https://github.com/nodejs/node

Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs,…

My Masters Thesis!!

Implementation of a decision tree learning algorithm