Shape, a programming language for fast, correct, maintainable and formally verified code.
Shape Packages
— packages and dependency management for Shape
Source