microsoft / Armada

Armada is a tool for writing, and proving correct, high-performance concurrent programs.
138Updated 10 months ago

Related projects

Alternatives and complementary repositories for Armada