631 Open source projects that are alternatives of or similar to agda-mode-vscode

Language Server for Agda

VSCode Extension to kickstart Lightning Web Component development.

Visual Studio Code abaplint extension

A VS Code extension that displays your Netlify build statuses and more!

完整的 VSCode 主题，包括图标与界面配色

Syntax Highlighting for Pine Script

Serverless framework integration for VSCode

IBM i development extension for VS Code

🔍 Smart Qiita integration for Visual Studio Code

Auto generation of type-safe bindings between Reason and Typescript.

ReasonML and Vue

A Visual Studio Code Extension that provides language support for Wikitext.

🌐 Prisma Language Tools = Language Server and Prisma's VS Code extension.

A simple example of a ppx with Reason and esy

The Power Platform VSCode extension makes it easy to manage Power Platform environments and allows the developer to create, build and deploy Power Platform solutions, packages and portals.

A VSCode extension allows you to pin up some frequently used files so that you can access them later with more convenience.

🚀 Native Actors for Reason and OCaml

A VS Code extension that allows you to highlight trailing spaces and delete them in a flash!

An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.

🧶 Some hooks in ReasonML for reason-react that can be useful

Visual Studio Code extension to monitor/deploy/destroy Terraform resources in workspace

Compile OCaml/Reason to static iOS libraries

Adds autocomplete functionality to vscode when editing AWS AppSync resolver vtl files.

💎 Growing collection of VS Code extensions with a fancy name

📋 Reasonably making forms sound good

JSON combinator library for BuckleScript/Reason

Rust Object Notation (RON) vscode extension

An extension for more guide lines

VSCode extension to highlight nested code blocks

🐈 Catstagram made with ReasonReact!

Edit BPMN 2.0 files. Based on bpmn.io tools.

Competitive programming IDE-as-a-VS-Code-plugin

A vscode plugin for select text between brackets

The all-in-one tool to develop code for Dataverse/Dynamics 365. Helps you connect to a Dataverse environment, generate TypeScript definitions for entities, create a different type of Dataverse-specific projects, and much more.

Visual Studio Code support for Ledger files

apkg - package manager for Agda

Haxe Checkstyle extension for Visual Studio Code

An extension to accelerate the process of developing applications with flutter, aimed at everyone using the GetX package.

一个简单的VSCode看板娘插件，会跟随你的鼠标动作变化，写代码累了可以逗逗她哦

Visual Studio Code extension integrating Tenkawa PHP language server.

Unotes Visual Studio Code Extension. A markdown WYSIWYG notes editor.

Solve Luogu Problems in VSCode

R Extension for Visual Studio Code

Rich Caddyfile support for Visual Studio Code

ReasonML minimal webpack config with webpack-dashboard & reports enabled

vscode extension to highlight all occurrences of words or expression

Syntax extension for writing SQL in OCaml

Nyan Cat for VSCode!

Reason + BuckleScript bindings to Immutable.js

Constructive Interpretations of HoTT

Deciding Presburger arithmetic in agda

A Visual Studio Code extension to lint CSS/SCSS/Less with stylelint, support auto fix on save.

Proof automation – for Agda, in Agda.

Visual Studio Code extension for lix

LifeTime app

vscode（Visual Studio Code） 相关设置、使用技巧等整理

➡️ Stop mistyping keyboard shortcuts and quitting VSCode unintentionally

A collection of small tools for Visual Studio Code.

Chat with your team while you collaborate over code using VS Live Share

Support Bigint, Q (rational numbers) and Z (integer numbers) in BuckleScript.