Hacker GitHub

← 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

Mentions per year 4 mentions · busiest year 2020 (4)
20082026
AllStoriesComments NewestTopOldest
  1. …[0] https://trust-in-soft.com/ [1] https://www.eschertech.com/products/perfect_developer.php [2] https://github.com/microsoft/Armada [3] https://www.microsoft.com/en-us/research/project/vcc-a-verif...
    comment by MaxBarraclough · 2020-12-31 · in Linux Hardening Guide
  2. …compiler optimisations, especially for a language like C. [0] https://github.com/zetzit/zz [1] https://github.com/microsoft/Armada
    comment by MaxBarraclough · 2020-09-24 · in How expensive is integer-overflow trapping in C++?
  3. …Open Source community is not interested in semi-Free software. The DMD compiler showed us this. [0] https://github.com/microsoft/Armada
    comment by MaxBarraclough · 2020-07-31 · in Dafny: Verification-Aware Programming Language
  4. Perhaps worth noting is Armada https://github.com/microsoft/Armada which is built upon Dafny and targets a C-like language.
    comment by twoWhlsGud · 2020-07-30 · in Dafny: Verification-Aware Programming Language