VS Code Extensions

Extensions Categories Tags

nano-crl2

1 extension by this developer

nanoCRL2

nano-crl2

Extension for mCRL2, implemented using the language server protocol (LSP)

Programming Languages #language server

Disclaimer: This website is an independent directory designed to help developers search and discover VS Code extensions quickly. We are not affiliated with official partners of Microsoft or Visual Studio Code.

© 2026 VS Code Extensions. All rights reserved.

Explore

Extensions Categories Tags

Important Pages

About Us Contact Us Terms and Conditions Privacy Policy