davidhalter

my personal page, dev branch holds the blog data, master branch is just html pure (don't try to change anything there, it will be overwritten by every build).

2 3 1

django-sendmail-backend

Its a simple command line sendmail backend for Django

Language:Python1 30

django-stubs

PEP-484 stubs for Django

Language:PythonMIT1 20

europython2014

Speaking at EuroPython 2014

Language:Python1 30

furlough

Furlough tracker for NGOs that send people home every few years.

Language:JavaScript1 30

image-processing-demos

[in progress] This repository is about image processing demos, written in python/pylab.

Language:Python1 30

ipython

Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.

Language:PythonBSD-3-Clause1 20

lyrics

vim like audio player and lyrics fetching api

Language:PythonGPL-3.01 60

mypy

Optional static typing for Python

Language:PythonNOASSERTION1 20

pegen

PEG parser generator for Python

Language:PythonNOASSERTION1 20

peps

Python Enhancement Proposals

Language:Python1 30

typeshed

Collection of library stubs for Python, with static types

Language:PythonNOASSERTION1 30

davidhalter

Config files for my GitHub profile.

030