About the Ivory Language

The Ivory Language was created by Galois, Inc.

The Ivory Language team is:

• James Bielman
• Trevor Elliott
• Pat Hickey
• John Launchbury
• Lee Pike

All Ivory Language project software is released under an open-source BSD License. See License files in the source repositories for more information.

Contributing

Ivory is open source software. We encourage users to ask questions and report issues using the github issue tracker and to use pull requests to contribute changes.

About this site

The contents of ivorylang.org are Copyright 2014-2017, Galois Inc. All Rights Reserved.