Belte is a programming language heavily inspired by C# that aims to implement aggressive design by contract principles into types. Currently, the focus is implementing the basic language constructs.
Buckle is the open-source implementation of the Belte compiler.
The docs can be browsed on the GitHub Pages site or locally in the repository.
There are multiple code samples in the samples/ folder to show what the language is capable of in its current state.
The bulk of the compiler is based on Roslyn.
Immo Landwerth's Building a Compiler series is really good for learning the basics of compiler implementation.
Belte GitHub: github.com/ryanwilsond/belte
Belte Docs/Pages: ryanwilsond.github.io/belte