The Wyvern Programming Language
A language designed for productivity and high assurance — featuring type-specific languages, capability-safe modules, and architectural control.
A language designed for productivity and high assurance — featuring type-specific languages, capability-safe modules, and architectural control.
Wyvern is a programming language designed to help developers be highly productive when writing high-assurance applications. Its first major innovation 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 also working on the Wyvern object model and on providing architects with more architectural control. Check out our talk slides for a deeper dive into the core ideas.
Download a recent release here and after unzipping run:
bin/wyvern # interpreter
bin/wypy # Wyvern → Python compilerTry the examples in the examples folder, follow the Wyvern Guide, or read the Wyvern Tool Architecture document to build from source.