Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.
Forked from cubbi/Nostalgy-4-Mail.app
Plugin for Apple’s Mail.app that adds support for Gmail-ish keyboard shortcuts.
Knowledge-inference system implemented for the knowledge systems course.
Google Chrome extension to quickly view the page with the proxy server of the University of Groningen.
Go web server that filters and servers a GeoJSON FeatureCollection given a bounding box
430 contributions in the last year
Press h to open a hovercard with more details.