@alecthgeek's favourite development tools