Bold statement :

"In fact, it might be better said that Yao is meant to be:

As powerful as C, As flexible as Lisp, As easy as Python, As provable as Ada/SPARK, More reliable than Rust, With the time semantics of HAL/S."

What a very strange repo.

i dont even know what that is ???