Low-Level Software Security for Compiler Developers

🎓 Path to a free self-taught education in Computer Science!

UCL LaTeX thesis templates.

A small implementation of type inference

No sane compiler would optimize atomics: the presentation

Move and resize windows on macOS with keyboard shortcuts and snap areas

🖥 Control your display's brightness & volume on your Mac as if it was a native Apple Display. Use Apple Keyboard keys or custom shortcuts. Shows the native macOS OSDs.

Rocker: Robustness Checker

Open-source keyboard firmware for Atmel AVR and Arm USB families

Rust Programming Language Tutorials for Everyone!

A collection of ergonomic split keyboards ⌨

A List of Foundational Haskell Papers

Keyboard firmware for Teensy 3.1

Mini ML implementation

Gdbinit for OS X, iOS and others - x86, x86_64 and ARM

Scalameta tutorial

fugitive.vim: A Git wrapper so awesome, it should be illegal

PicoRV32 - A Size-Optimized RISC-V CPU

Scripts to mirror Github in a cloudy fashion

Artifact for the OOPSLA 17 DejaVu Paper

Google Chrome, Firefox, and Thunderbird extension that lets you write email in Markdown and render it before sending.

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Alfred workflow to search through any website (easily extendable list)

A free and open source breakout clone in Haskell using SDL and FRP, with Wiimote and Kinect support.

Functional Reactive Programming domain-specific language for efficient hybrid systems

An opinionated git prompt for bash and zsh

A guide on how to be a Programmer - originally published by Robert L Read

How to Make a Computer Operating System in C++