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

❤️ Simple UI for pincode verification

AI Code Completions

Auto Close Tag for Visual Studio Code

🖋️ Update your discord status with a rich presence

A Plugin for easy bootstrap markup and template

The extensions I use when developing a Vue application with VS Code

Converts between `px` and `rem` units in VSCode

Visual Studio Code plugin for automatic time tracking and metrics generated from your programming activity.

Package verifier provides simple defensive programing primitives.

Verifying concurrent crash-safe systems

REST Client Extension for Visual Studio Code

🌴 Type Checker and IDE Support for Lua

This is an extension for Visual Studio Code to add support for editing glTF files.

These snippets were built to supercharge my workflow in the most seamless manner possible.

vscode-react-redux-react-router-snippets

The Language for Smart Legal Contracts

Appcelerator development tools and UI package for Visual Studio Code.

VS Code extension to add cursor transitions while typing, similar to MS Office and the Windows 10 Mail app.

Extracting selectors from HTML / JSX / TSX and generate CSS file.

Suporte para Advpl no VsCode

vscode extension for filter line by strings or regular expressions

Simplifying Qiskit to make developing quantum circuits and applications faster

This extension provides GraphViz (dot) language support for VS Code.

Solidity language support and visual security auditor for Visual Studio Code

Angular syntax highlighting for HTML templates

Specification for streaming massive heterogeneous 3D geospatial datasets 🌎

The VerCors verification toolset for verifying parallel and concurrent software

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

基于安卓QQ协议的vscode-qq扩展

A Ruby test adapter extension for the VS Code Test Explorer

Example implementation of Arm's Architecture Specification Language (ASL)

VSCode extension "Maven for Java"

File systems verification utility and library, in likeness of mtree(8)

[DEPRECATED] Truebit Verification for Scrypt

🔌 Less intellisense for Variables and Mixins in all Less files.

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

Software Bill of Material (SBOM) standard designed for use in application security contexts and supply chain component analysis

📜 A JSON based Web Publication Manifest format used at the core of the Readium project

Suggests workspace files and MarkDown file headers in MarkDown links

Code Climate Engineering Data Platform

Just a simple integration of SOPS by Mozilla into VSCode IDE. It contains some advanced features over the original project which makes sense for IDE.

The Mobile Application Security Verification Standard (MASVS) is a standard for mobile app security.

Schema and generated objects for biolink data model and upper ontology

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

Visual Studio Code extension to quickly serve your PHP projects :)

Simple plugin for VS Code that allows you to quickly navigate the file inside your project's node_modules directory.

Compose specification reference implementation

Jupyter kernel for TLA⁺

🏃‍♂️ Jump/Select to the Start/End of a word in VSCode

Visual studio code plugin for Bootstrap 4 & Font awesome

A VS Code extension that helps you reach your goals in completing the 100 Days of Code challenge

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

Markdown converter for Visual Studio Code

Graphical Fragment Assembly (GFA) Format Specification

Laravel blade snippets and syntax highlight support for Visual Studio Code

PHP Debug Adapter for Visual Studio Code 🐞⛔

🤪 A list of funny and tricky JavaScript examples

High-assurance implementation of the Ouroboros protocol family

Evernote Editing. Redefined. 关于 token 的问题请去 https://github.com/michalyao/evermonkey/issues/94 中查看！

Enables your consumer driven contracts workflow