A new programming language designed for writing smart contracts, targeting the Miden VM and protocol - View it on GitHub