codearm

It tries to be an improved copy of Tensorflow. It works the same way, but with guarantees at compile time. Using Rust's strong type system it ensures mathematical soundness while building your computational graph.

There's still of course a long road to go to be able to compete with something like Tensorflow, but I think the base is very solid.

A series of blog posts to write an OS from scratch in Rust: https://os.phil-opp.com/