Shape, a programming language for fast, correct, maintainable and formally verified code.

Playground — Shape in your browser, via WebAssembly
Shape Packages — packages and dependency management for Shape
Source