# GaloisInc/cryptol

<https://repo.masters-masters.com/en/repos/GaloisInc/cryptol>

[Home](https://repo.masters-masters.com/en) › [GaloisInc](https://repo.masters-masters.com/en/owners/GaloisInc) › [cryptol](https://repo.masters-masters.com/en/repos/GaloisInc/cryptol)

GaloisInc/cryptol has 1,227 stars on GitHub. Its RepoMasters card: Beta tier. Cryptol: The Language of Cryptography Language: Haskell.

| Field | Value |
| --- | --- |
| Owner | [GaloisInc](https://repo.masters-masters.com/en/owners/GaloisInc) |
| Stars | 1,227 |
| Forks | 130 |
| Language | [Haskell](https://repo.masters-masters.com/en/languages/haskell) |
| License | BSD-3-Clause |
| Created | 2014 |
| Tier | [Beta (700 to 1,999 ★)](https://repo.masters-masters.com/en/ranks/box_office) |
| View on GitHub | [GaloisInc/cryptol](https://github.com/GaloisInc/cryptol) |

## Repository

Cryptol: The Language of Cryptography

The tier for repos with 700 to 1,999 ★. Published odds per card pulled: 6%. Rarity: Rare.

## More repos by GaloisInc

- [GaloisInc/HaLVM · ★ 1,069 · Haskell · Beta](https://repo.masters-masters.com/en/repos/GaloisInc/HaLVM)
- [GaloisInc/crucible · ★ 781 · Haskell · Beta](https://repo.masters-masters.com/en/repos/GaloisInc/crucible)
- [GaloisInc/saw-script · ★ 525 · Haskell · Alpha](https://repo.masters-masters.com/en/repos/GaloisInc/saw-script)
- [GaloisInc/ivory · ★ 417 · Haskell · Alpha](https://repo.masters-masters.com/en/repos/GaloisInc/ivory)
- [GaloisInc/swanky · ★ 366 · Sieve · Alpha](https://repo.masters-masters.com/en/repos/GaloisInc/swanky)
- [GaloisInc/reopt · ★ 344 · LLVM · Alpha](https://repo.masters-masters.com/en/repos/GaloisInc/reopt)

## Nearby in Haskell

- [faylang/fay · ★ 1,285 · Haskell · Beta](https://repo.masters-masters.com/en/repos/faylang/fay)
- [google/codeworld · ★ 1,270 · Haskell · Beta](https://repo.masters-masters.com/en/repos/google/codeworld)
- [reanimate/reanimate · ★ 1,242 · Haskell · Beta](https://repo.masters-masters.com/en/repos/reanimate/reanimate)
- [fullstack-development/developers-roadmap · ★ 1,221 · Haskell · Beta](https://repo.masters-masters.com/en/repos/fullstack-development/developers-roadmap)
- [hasktorch/hasktorch · ★ 1,217 · Haskell · Beta](https://repo.masters-masters.com/en/repos/hasktorch/hasktorch)
- [ndmitchell/ghcid · ★ 1,203 · Haskell · Beta](https://repo.masters-masters.com/en/repos/ndmitchell/ghcid)

---
Data: GitHub · Illustration: the project’s public image, pixelated by RepoMasters.