The Wyvern Programming Language

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.


Our ECOOP 2014 paper won a distinguished paper award! See CMU's press release and coverage by SD Times.

Publications Related to Wyvern

Other Wyvern Documentation


Carnegie Mellon University

Victoria University of Wellington

The Wyvern project is supported by the National Security Agency lablet at Carnegie Mellon University.