722 Open source projects that are alternatives of or similar to Vscode Tlaplus

The AsyncAPI specification allows you to create machine-readable definitions of your asynchronous APIs.

Simple VS Code extension for plain text note taking.

Keep your place when jumping between a different parts of your code. This is a vscode extension that will highlight lines as you edit them, fading as you move away.

New home of Swift Development Environment for VS Code

Blockchain extension for VS Code

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

Unibeautify for VSCode

Awesome Emacs Keymap - VSCode emacs keybinding with multi cursor support

在 VSCode 瀏覽 PTT！

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

❤️ Simple UI for pincode verification

Auto Close Tag for Visual Studio Code

🌴 Type Checker and IDE Support for Lua

The Language for Smart Legal Contracts

Suporte para Advpl no VsCode

Solidity language support and visual security auditor for Visual Studio Code

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

VSCode extension "Maven for Java"

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

Code Climate Engineering Data Platform

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

Jupyter kernel for TLA⁺

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

A List of Free and Open Source Hardware Verification Tools and Frameworks

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

yUML extension for Visual Studio Code

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

An RSS reader embedded in Visual Studio Code

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

Idris for Visual Studio Code

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

Java Language Support for Visual Studio Code

Android debugging support for VS Code

Navigation Timing

Generate doxygen documentation from source code in VS Code

COALA IP is a blockchain-ready, community-driven protocol for intellectual property licensing.

VS Code extension for openHAB configuration files

Code Runner for Visual Studio Code

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

view or edit mindmap in VSCode

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

Web Access Control (WAC) specification (as used by the Solid project)

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

Competitive programming made simple. VSCode extension.

A language experiment -- irc.freenode.net ##coda

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.

MDX for Visual Studio Code

Visual Studio Code extension that provides commands to deploy files of a workspace to a destination.

Numbered Bookmarks Extension for Visual Studio Code

Go implementation of the XDG Base Directory Specification and XDG user directories

Specification for streaming massive terrain datasets for 3D visualization.

SiEPIC EBeam PDK & Library, for SiEPIC-Tools and KLayout

Vue Conversion Plugin

Syntax Highlighter extension for Visual Studio Code (VSCode). Based on Tree-sitter.

The Signal Metadata Format Specification

Design of the Dart language

VS Code extension that lets you open a CSS Flexbox cheatsheet directly in the editor.