725 Open source projects that are alternatives of or similar to vscode-tlaplus

TLA+ language support for Visual Studio Code

Read-only mirror of the Klever Git repository

Links to tools by subject

Software Quality Wiki

CoreIR Symbolic Analyzer

Kani Rust Verifier

Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!

Development of the CafeOBJ interpreter

Verification framework and tool for higher-order Scala programs

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Static checker for Java

HACL*, a formally verified cryptographic library written in F*

SeaHorn Verification Framework

Concuerror is a stateless model checking tool for Erlang programs.

Experimental Smart Contracts In Plutus.

Temporal Logic Planning toolbox

A script for running TLA+/TLC from the command line

Intrepyd Model Checker

Android view for providing blocks (Edit Texts) to achieve verification process.

Service Bus Explorer Extension for Visual Studio Code

CUE language support for Visual Studio Code

The Java SDK for interacting with the Yoti Platform

WoW extension for VSCode

Steam integration for TeamSpeak 3

📕 Visual Studio Code extension to keep your csproj files up to date.

简单的滑动验证码JS插件 图片验证码

VS code 插件，在 VScode 中提交 git 的时候添加 emoji 表情😝

A Mirage blue theme with pastel tones for Visual Studio Code

🐻 基于 VS Code 插件的前端研发工具集，站点国内镜像：https://apptools.gitee.io

A Modeling and Verification Platform for SoCs using ILAs

Convert px to rem extension for Visual Studio Code.

A VS code extension to change the color theme based on the current file language

OpenMessaging homepage

Interactive Graphviz Dot Preview for Visual Studio Code

Fingerprint is a simple tool that can be used to verify the contents of a directory.

Spezifikation für eine offene Schnittstelle für Ratsinformationssysteme

A small vscode extension that help you to create files & folder in Atom Style.

Ruby interface to IEEE 1364-2005 Verilog VPI

Information to reproduce results from SV-COMP (MOVED, please follow the link)

Popular VS Code extensions for Vue.js development.

Vivid and well balanced syntax for VS Code.

VS Code extension for easy and quick manipulation with brackets and quotes.

OpenAPI 3.0 Specification for the Box APIs

EU eHealthNetwork value sets as referenced by the EU Digital COVID Certificate (DCC) JSON Schema

DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)

This Visual Studio Code extension shows end-of-line character (CR, LF, or CRLF) when whitespace rendering is turned on.

Frama-C and WP tutorial

Fortran language support for Visual Studio Code

A VSCode extension that generates a new React component with its files automatically in VSCode.

Sapling - A convenient way to traverse your React app in VS Code

This repository contains all CrySL rules currently used in the crypto assistant CogniCrypt.

This is a Visual Studio Code snippet extension for generating HTML 5 boilerplate code

vscode extension for easy angular testing and debugging

AutoIt Extension for Visual Studio Code

VSCode extension for collaborative editing

Beautiful syntax and snippets for perfectionists with deadlines

Proof-of-concept (POC) of a Bazel Java development extension for VS Code

Logitech Craft VS Code extension and Logitech Options plugin

Checkpoints for your code editing.

☢️ A fresh-looking, neon theme for Visual Studio Code Almost radioactive.