GitHub Explorer

Explore Rankings Search Author shots

Preview of GaloisInc/cryptol

GaloisInc/cryptol

Cryptol: The Language of Cryptography

★ 1.2K Stars

⑂ 130 Forks

○ 1.2K Watchers

✖ 253 Issues

Haskell

Last push: 8d ago

Created:

↗ View on GitHub

Loading additional information…

Subscribe

Register

Data source: GitHub REST & GraphQL APIs. This project is not affiliated with, sponsored by, or endorsed by GitHub, Inc.

Data cached · Rate limits apply · Built with Django + HTMX

Subscribe

Get curated open-source highlights by email.

Name

Email