- Anyone here work for galois? [x-post from /r/cscareerquestions] https://galois.com 18 comments haskell
Linking pages
- 11 Companies That Use Haskell in Production https://serokell.io/blog/top-software-written-in-haskell 280 comments
- Protecting democratic elections through secure, verifiable voting - Microsoft On the Issues https://blogs.microsoft.com/on-the-issues/2019/05/06/protecting-democratic-elections-through-secure-verifiable-voting/ 258 comments
- Amid Worries About Election Security, Microsoft Unveils Voting Machine Software : NPR https://www.npr.org/2019/05/06/720071488/ahead-of-2020-microsoft-unveils-tool-to-allow-voters-to-track-their-ballots 145 comments
- Challenging LR Parsing https://rust-analyzer.github.io/blog/2020/09/16/challeging-LR-parsing.html 109 comments
- On the state of cryptography in Haskell | by Leon Mergen | www.leonmergen.com http://www.leonmergen.com/haskell/crypto/2015/03/21/on-the-state-of-cryptography-in-haskell.html 104 comments
- Why Haskell? The big question : ezyang’s blog http://ezyang.scripts.mit.edu/blog/2010/01/why-haskell/ 80 comments
- c2rust vs Corrode https://jamey.thesharps.us/2018/06/30/c2rust-vs-corrode/ 75 comments
- Marginalia Search - browse:random https://search.marginalia.nu/explore/random 58 comments
- Better Random Number Generation for OpenSSL, libc, and Linux Mainline | AWS Open Source Blog https://aws.amazon.com/blogs/opensource/better-random-number-generation-for-openssl-libc-and-linux-mainline/ 52 comments
- A gentle introduction to automated reasoning - Amazon Science https://www.amazon.science/blog/a-gentle-introduction-to-automated-reasoning 51 comments
- GitHub - trailofbits/graphtage: A semantic diff utility and library for tree-like files such as JSON, JSON5, XML, HTML, YAML, and CSV. https://github.com/trailofbits/graphtage 51 comments
- Protecting democratic elections through secure, verifiable voting - Microsoft On the Issues https://blogs.microsoft.com/on-the-issues/2019/05/06/protecting-democratic-elections-though-secure-verifiable-voting/ 37 comments
- On the state of cryptography in Haskell | by Leon Mergen | www.leonmergen.com https://leonmergen.com/on-the-state-of-cryptography-in-haskell-c272fb0b6478 22 comments
- cabal-dev/0.8.md at master · creswick/cabal-dev · GitHub https://github.com/creswick/cabal-dev/blob/master/releases/0.8.md 14 comments
- FBI vs Apple: how did we get here? | by Isaac Potoczny-Jones | Medium https://medium.com/@SyntaxPolice/fbi-vs-apple-how-did-we-get-here-a46e8cf4e12e 9 comments
- Haskelling Bitcoin. The case for Bitcoin development in… | by Mohammed Alshiekh | Medium https://medium.com/@sahabi/haskelling-bitcoin-7e7128a9d4b4 9 comments
- Optimizing for Security :: Immunant, Inc https://immunant.com/blog/2018/09/multicompiler/ 8 comments
- Haskell Package Popularity Rankings : August 2009 – Control.Monad.Writer http://donsbot.wordpress.com/2009/08/06/haskell-package-popularity-rankings-august-2009/ 7 comments
- GitHub - erkmos/haskell-companies: A gently curated list of companies using Haskell in industry https://github.com/erkmos/haskell-companies 4 comments
- Pentagon $1.8M Deal to Use Blockchain for Data Security – News Bitcoin News https://news.bitcoin.com/pentagon-deal-blockchain-data-security/ 2 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:galois.com
Search title: Galois: Trust in your most critical systems.
See how to search.