# Galois Tools

## Featured Tools

<table data-card-size="large" data-view="cards"><thead><tr><th></th><th></th><th data-hidden data-card-cover data-type="files"></th><th data-hidden data-card-target data-type="content-ref"></th></tr></thead><tbody><tr><td>CAMET -></td><td>Practical and powerful analysis tools to support Model-based DevOps, Digital Engineering, ACVIP, and more.</td><td><a href="https://765646775-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2FkFVHZy4IU9BagQ7qL1q9%2Fuploads%2FH1H9Dc6C91xg9WGapsd2%2FFrame%201000007311.png?alt=media&#x26;token=dfa90fe8-6bc2-4fd1-8d8a-ae562e7d827b">Frame 1000007311.png</a></td><td><a href="https://app.gitbook.com/o/OKpco5V1fngn2MK4lcSF/s/nFCMxZvaanOBni4BM3Kq/">CAMET</a></td></tr><tr><td>Cryptol -></td><td>Domain-specific language for specifying cryptographic algorithms</td><td><a href="https://765646775-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2FkFVHZy4IU9BagQ7qL1q9%2Fuploads%2FUyNrSMgUtNfZKidgUWcA%2FFrame%201000007312.png?alt=media&#x26;token=639f0292-16ed-469d-9ad7-87f579f6cb58">Frame 1000007312.png</a></td><td><a href="https://app.gitbook.com/o/OKpco5V1fngn2MK4lcSF/s/PO8NU83T8kSMeYSiIV9h/">Cryptol</a></td></tr><tr><td>SAW -></td><td>Provides the ability to formally verify properties of code written in C, Java, Rust, and <a href="http://cryptol.net/">Cryptol</a>.</td><td><a href="https://765646775-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2FkFVHZy4IU9BagQ7qL1q9%2Fuploads%2FkPDBwkRbBezl8sJSLzB8%2FFrame%201000007313.png?alt=media&#x26;token=1085bf8a-c82d-4dee-90c8-831397c0f2b3">Frame 1000007313.png</a></td><td><a href="https://app.gitbook.com/o/OKpco5V1fngn2MK4lcSF/s/UApIrUvk02G42EmQuRHP/">SAW</a></td></tr><tr><td>Swanky -></td><td>open source suite of Rust libraries for secure computation</td><td><a href="https://765646775-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2FkFVHZy4IU9BagQ7qL1q9%2Fuploads%2FwXmWJgyPEAyvj2TBwZYs%2FSwanky%20Logo2.png?alt=media&#x26;token=dae46fcf-0690-4c83-a576-d392e981f73e">Swanky Logo2.png</a></td><td><a href="https://app.gitbook.com/o/OKpco5V1fngn2MK4lcSF/s/wq6yofNUjxjFY0jrgli7/">Swanky</a></td></tr><tr><td>C2Rust -></td><td>Translates most C modules into semantically equivalent <a href="https://www.rust-lang.org/">Rust</a> code.</td><td><a href="https://765646775-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2FkFVHZy4IU9BagQ7qL1q9%2Fuploads%2FVgI6dcKBe2dEQ953Ba7R%2FC2Rust%20Logo1.png?alt=media&#x26;token=6e937261-1464-4881-bae8-12ccaaf57284">C2Rust Logo1.png</a></td><td><a href="https://app.gitbook.com/o/OKpco5V1fngn2MK4lcSF/s/11xJ6TZLGSMeaKYNw788/">c2rust</a></td></tr></tbody></table>

[Explore all Galois Tools on Github](https://github.com/GaloisInc/) ->&#x20;