PrototypeCommune
microsoft/Armada
Armada is a tool for writing, and proving correct, high-performance concurrent programs.
- Propriétaire
- microsoft (organisation)
- Étoiles
- Étoiles : 155
- Forks
- Forks : 18
- Langage
- C#
- Licence
- Aucune
- Création
- 2020
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de microsoft
Les 1 923 dépôts de microsoft- microsoft/vscodeÉtoiles : 194 428TypeScriptLTS
- microsoft/markitdownÉtoiles : 193 282PythonLTS
- microsoft/PowerToysÉtoiles : 140 362CLTS
- microsoft/generative-ai-for-beginnersÉtoiles : 122 672Jupyter NotebookLTS
- microsoft/TypeScriptÉtoiles : 111 706GoLTS
- microsoft/terminalÉtoiles : 105 300C++LTS
D’autres dépôts C#
Tous les dépôts C#- adammyhre/Unity-GOAPÉtoiles : 155C#Prototype
- afunc233/KomiicÉtoiles : 155C#Prototype
- hez2010/TypedSqlÉtoiles : 155C#Prototype
- jbevain/mono.reflectionÉtoiles : 155C#Prototype
- flq/MemBusÉtoiles : 155C#Prototype
- Seuntjie900/DiceBotÉtoiles : 155C#Prototype