Lobsters
- Cryptol: The Language of Cryptography https://github.com/GaloisInc/cryptol 2 comments cryptography , haskell
- Cryptol version 2 is now available, and Open Source! https://github.com/galoisinc/cryptol 5 comments crypto
Linking pages
Linked pages
- Homebrew — The Missing Package Manager for macOS (or Linux) https://brew.sh 184 comments
- GitHub - Z3Prover/z3: The Z3 Theorem Prover https://github.com/Z3Prover/z3 143 comments
- The GNU MP Bignum Library http://gmplib.org/ 126 comments
- GHCup https://www.haskell.org/ghcup/ 74 comments
- Dashboard — Gitpod https://gitpod.io#snapshot/539826f3-ebc1-4c31-9402-e456f0fcded7 41 comments
- SAW http://saw.galois.com 18 comments
- Announcing ncurses 6.1 https://www.gnu.org/software/ncurses/ 1 comment
Related searches:
Search whole site: site:github.com
Search title: GitHub - GaloisInc/cryptol: Cryptol: The Language of Cryptography
See how to search.