3 ms·

It's cool that Galois got this contract. They're a very nice Haskell shop out of Seattle responsible for projects like Copilot and Cryptol.

• jvoorhis 10y ago
  Out of Portland, actually.
  • tel 10y ago
    Yep, sorry about that!
• dmix 10y ago
  Saving the next person the time. Links to both: Copilot https://galois.com/project/copilot/ https://galois.com/project/copilot/ Cryptol https://en.wikipedia.org/wiki/Cryptol https://en.wikipedia.org/wiki/Cryptol