Prevent this user from interacting with your repositories and sending you notifications.
Learn more about blocking users.
You must be logged in to block users.
Contact GitHub support about this user’s behavior.
Learn more about reporting abuse.
A better modifier based keyboard layout
Python XML-based template engine with Genshi-like syntax and Jinja-style blocks
The web app that serves our competition-based group project for Algorithms courses
BashNET Navajo is a HTTP server written in pure Bash. We are a direct competitor to the Apache Web Server.
My personal config files for Linux/BSD
Beta reducer and shorthand representer for the λ-calculus
Seeing something unexpected? Take a look at the
GitHub profile guide.