This project brings InSynth completions to the Scala IDE for Eclipse.
InSynth is a tool for interactive synthesis of code snippets. It applies theorem proving technology to synthesize code fragments that use given library functions. InSynth synthesizes code applying polymorphic type constraints as well as code behavior.
You need to have Scala IDE for Eclipse and the Equinox Weaving Launcher (and of course, Eclipse). Read the Setting up guide on the Scala IDE developer documentation to learn about how to setup the Scala IDE project and how to launch it in the debugger.
For the moment there is no update site, so you need to build your own plugin.