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."

Edit : more details here : https://news.ycombinator.com/item?id=41671034

What a very strange repo.

i dont even know what that is ???