Deduced Framework 1.1.0 was released. It includes many improvements on the user interface and code generation.
The Deduced Library project was created on sourceforge.