Obsidian is a programming language for writing smart contracts that provides strong safety guarantees.
https://github.com/mcoblenz/Obsidian.git
latest