PrototypeCommon
microsoft/Armada
Armada is a tool for writing, and proving correct, high-performance concurrent programs.
- Owner
- microsoft (organization)
- Stars
- Stars: 155
- Forks
- Forks: 18
- Language
- C#
- License
- None
- Created
- 2020
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by microsoft
All 1,923 repos by microsoft- microsoft/vscodeStars: 194,462TypeScriptLTS
- microsoft/markitdownStars: 193,456PythonLTS
- microsoft/PowerToysStars: 140,398CLTS
- microsoft/generative-ai-for-beginnersStars: 122,788Jupyter NotebookLTS
- microsoft/TypeScriptStars: 111,714GoLTS
- microsoft/terminalStars: 105,311C++LTS
Nearby in C#
All C# repos- adammyhre/Unity-GOAPStars: 155C#Prototype
- afunc233/KomiicStars: 155C#Prototype
- hez2010/TypedSqlStars: 155C#Prototype
- jbevain/mono.reflectionStars: 155C#Prototype
- flq/MemBusStars: 155C#Prototype
- Seuntjie900/DiceBotStars: 155C#Prototype