7 ms·
https://galois.com https://galois.com is employee-owned, and AFAIK they use interesting technologies like Haskell, theorem provers, etc.
by nextos 4y ago
https://galois.com https://galois.com is employee-owned, and AFAIK they use interesting technologies like Haskell, theorem provers, etc.