1 Repositories
Rust vel Libraries
Vel: A language for verified low-level software
Vel A language for verified low-level software. It dreams to be something like Rust with logic ― a language that empowers people to build verified low
9 Jan 26, 2023