Wyvern Programming Language

wyvernlang.github.io

Wyvern is a programming language designed for productivity and high assurance, featuring type-specific languages, capability-safe modules, and architectural control.