Only one tool available
All being well this will have the latest version of GBDK and MagicKit as well as any other useful dev tools. Keep an eye on the main page for when things are released!
This is a utility that allows you to patch roms with the IPS patches that are available. This is only a command line utility, but should hopefully be useful to some people.