
fzy
a systems programming language prioritizing verifiable correctness, determinism, and performance
binary-analysiscode-analysiscryptography+8
161 month ago

a systems programming language prioritizing verifiable correctness, determinism, and performance