Cozy is a tool that automatically writes data structure implementations from high-level specifications. The source code is available on GitHub. Documentation on using Cozy for your own projects can be found there as well.
Our PLDI '16 paper (PDF) describes the techniques that make Cozy possible. Slides from PLDI '16 summarize those techniques. Instructions for downloading the case study programs and other evaluation materials for our 2016 paper are available here.