Wyvern is a new programming language designed to help developers be highly productive when writing high-assurance applications. The first major innovation in Wyvern is type-specific languages, a feature that allows programmers to create literals of a given type (e.g. a SQLQuery type) in a language appropriate to that type (e.g. SQL). We are currently working on the Wyvern object model and on providing architects with more architectural control. The ongoing implementation of Wyvern is available on GitHub. We have also written a manifesto and related talk slides describing the goals and core ideas behind the design of the language.