Hide content and notifications from this user.
Contact Support about this user's behavior.
An implementation of and AI for the game of Tak
Rust text diffing and assertion library
bazel build rules to use boost in bazel projects
nelhage's emacs configuration
A toy typed lambda-calculus
Manage Lets Encrypt certificates for a Kubernetes cluster.
A collaborative crossword-puzzle solver written on Meteor
chef config for my personal infrastructure
The official Hack Language specification.
bazel aspect to generate a synthetic GOPATH for rules_go repositories
Reparent a running program to a new terminal
some experiments with tensorflow and tf on ec2
Command line tool for Floyd
demo kernel modules for a workshop at recurse center
Implementation of bazel `git_repository` remotes using Skylark
Haskell libzephyr bindings
Source files for the neveragain.tech site
I accidentally an n²
Ansible role for Postfix MTA
Server to handle online TAK games
A Ruby client for DogStatsd
Sarama is a Go library for Apache Kafka 0.8, 0.9, and 0.10.
Aggregating Kafka proxy
Bazel rules for building protocol buffers (java, c++, go)
The Rust package manager
An editor and viewer for Portable Tak Notation