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.

Publications Related to Wyvern


Carnegie Mellon University

Victoria University of Wellington

Past project members

The Wyvern project is supported by the National Security Agency lablet at Carnegie Mellon University, and by the DARPA BRASS program.