# Open Source

Cryptol is an open source project, hosted on GitHub, licensed under the three-clause BSD license. We believe that anyone who uses Cryptol is making an important contribution toward making Cryptol better. There are many ways to get involved. 

## Explore

<table data-card-size="large" data-view="cards"><thead><tr><th></th><th></th><th data-hidden data-card-target data-type="content-ref"></th></tr></thead><tbody><tr><td><strong>Read the Cryptol Blog</strong></td><td><em>Read the latest articles about Cryptol</em></td><td><a href="https://www.galois.com/news-insights?name=Cryptol">https://www.galois.com/news-insights?name=Cryptol</a></td></tr><tr><td><strong>Cryptographic Specifications</strong></td><td><em>Access the Cryptographic Library</em></td><td><a href="https://github.com/GaloisInc/cryptol-specs/tree/423fd3f381b3337c9d9ac52760019bf03f4314ae">https://github.com/GaloisInc/cryptol-specs/tree/423fd3f381b3337c9d9ac52760019bf03f4314ae</a></td></tr><tr><td><strong>Github</strong></td><td><em>Explore the Github repository</em></td><td><a href="https://github.com/GaloisInc/cryptol">https://github.com/GaloisInc/cryptol</a></td></tr></tbody></table>

## How to Contribute

### Users

If you write Cryptol programs that you think would benefit the community, fork the GitHub repository, and add them to the examples/contrib directory and submit a pull request.

We host a Cryptol mailing list, which you can [join here](https://groups.google.com/a/galois.com/forum/#!forum/cryptol-users)

If you run into a bug in Cryptol, if something doesn’t make sense in the documentation, if you think something could be better, or if you just have a cool use of Cryptol that you’d like to share with us, use the issues page on [GitHub](https://github.com/GaloisInc/cryptol), or send email to <cryptol@galois.com>.

### Developers

If you plan to do development work on the Cryptol interpreter, please make a fork of the GitHub repository and send along pull requests. This makes it easier for us to track development and to incorporate your changes.

<br>