← All repos

microsoft/Armada

View on GitHub ↗ ★ 155 C#

Armada is a tool for writing, and proving correct, high-performance concurrent programs.

4 mentions on Hacker News by 2 people: 0 stories, 4 comments · first 2020-07-30 · latest 2020-12-31