Spine – A language where you describe the system and the compiler verifies it(spine-lang.org)
2 pointsby NielsHoogeveen6 hours ago1 comment