Skip to content
| Marketplace
Sign in
Visual Studio Code>Programming Languages>CryptolNew to Visual Studio Code? Get it now.
Cryptol

Cryptol

Galois

|
14 installs
| (0) | Free
Language support for Cryptol
Installation
Launch VS Code Quick Open (Ctrl+P), paste the following command, and press enter.
Copied to clipboard
More Info

Cryptol for Visual Studio Code

Repository  |  Issues  |  Documentation

This extension provides support for working with Cryptol. To use the extension you'll need a pre-installed cryptol-language-server.

The exteions supports:

  • Syntax highlighting
  • View documentation when hovering over an identify
  • Go to defintion
  • Show type information for identifers and numeric literal
  • Contact us
  • Jobs
  • Privacy
  • Manage cookies
  • Terms of use
  • Trademarks
© 2025 Microsoft