# 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>


---

# Agent Instructions: Querying This Documentation

If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter:

```
GET https://tools.galois.com/cryptol/get-started/open-source.md?ask=<question>
```

The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.