722 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

Experimental Smart Contracts In Plutus.

Static checker for Java

Concuerror is a stateless model checking tool for Erlang programs.

SeaHorn Verification Framework

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

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

Kani Rust Verifier

CoreIR Symbolic Analyzer

Verification framework and tool for higher-order Scala programs

Intrepyd Model Checker

Temporal Logic Planning toolbox

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

🕙 A coding activities tracker(time, file, type)

Find security vulnerabilities in open source npm packages while you code

A monitoring/debugging UI tool for Azure Durable Functions

🚀 An embedded browser in VS Code

CMake, SystemVerilog and SystemC utilities for creating, building and testing RTL projects for FPGAs and ASICs.

[OLD!] RGB Protocol specifications for Bitcoin-based digital assets

An extension for VS Code which provides support for the Swift language.

VSCode Neovim Integration

program python in real-time

VS Code extension to convert JSON to TypeScript, C#, Go, and many more

Cogent Project

Simple VS Code extension for plain text note taking.

New home of Swift Development Environment for VS Code

A swiss army knife with lots of tools, extensions and (scriptable) enhancements for Visual Studio Code.

Awesome Emacs Keymap - VSCode emacs keybinding with multi cursor support

A search tool helps dev to solve the naming things problem.

Auto Close Tag for Visual Studio Code

🌴 Type Checker and IDE Support for Lua

Suporte para Advpl no VsCode

An add-on to LaTeX Workshop that provides some features that go beyond the bare essentials

Coddx - a collection of tools that help developers program efficiently. One of the features is generating multiple files from templates quickly.

🔖Visual Studio Code Syntax Highlighting For Single File React And Omi Components - 编写React和Omi单文件组件的VSC语法高亮插件

Starter workspace to use with the CodeQL extension for Visual Studio Code.

Official Visual Studio Code extension to lint CSS/SCSS/Less with stylelint

Documentation site

MarkdownTOC(Table Of Contents) Plugin for Visual Studio Code.

immudb - world’s fastest immutable database, built on a zero trust model

MetaGo provides fast cursor movement/selection for keyboard focused users in vscode

🎢Preview html file in your default browser

A Visual Studio Code extension for the programming language Processing

Elasticsearch for VSCode

🔌 IntelliSense for Variables, Mixins and Functions in all Sass (SCSS syntax only) files.

Android debugging support for VS Code

Recoded version of Visual Studio Code extension 'vs-deploy', which provides commands to deploy files to one or more destinations.

Generate doxygen documentation from source code in VS Code

VS Code extension for openHAB configuration files

OSVVM Utility Library: AlertLogPkg, CoveragePkg, RandomPkg, ScoreboardGenericPkg, MemoryPkg, TbUtilPkg, TranscriptPkg, ...

Swagger Viewer lets you preview and validate Swagger 2.0 and OpenAPI files as you type in Visual Studio Code.

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

A fast and elegant extension for VSCode used for iOSre projects.

Go extension for Visual Studio Code

PHP 7.1+. Promoting the interoperability of AMQPs. It is based on queue-interop