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

An extension for more guide lines

[WIP] Reason pattern matching viz

VSCode extension to highlight nested code blocks

Example project to show how to use components lazy loading in ReasonReact

🐈 Catstagram made with ReasonReact!

🦀 Scraping & crawling websites using Rust, and ReasonML

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

Web / Electron client application for Turaku

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

Manage citations from your colleagues , friends, movies, your cat or even yourself.

A vscode plugin for select text between brackets

Accessing Agda's interaction mode via command line & external tactic for Agda.

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.

Static Site Generator for/in ReasonML

Visual Studio Code support for Ledger files

A formalization of category theory in cubical Agda

apkg - package manager for Agda

Simple UI framework written in Reasonml.

Haxe Checkstyle extension for Visual Studio Code

Use GraphiQL + GraphiQL Explorer to build your GraphQL operations, right from inside of VSCode.

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

js_of_ocaml bindings for ReactJS. Based on ReasonReact.

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

Bucklescript bindings for axios

Visual Studio Code extension integrating Tenkawa PHP language server.

A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with all the proofs you could possibly need.

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

A chess-themed tutorial on writing an SPA in Bucklescript-TEA

Solve Luogu Problems in VSCode

a byte-sized time series database

R Extension for Visual Studio Code

Category theory formalized in cubical agda

Rich Caddyfile support for Visual Studio Code

BuckleScript bindings for react-fela

ReasonML minimal webpack config with webpack-dashboard & reports enabled

Helper utility to package Revery applications into installable app bundles

vscode extension to highlight all occurrences of words or expression

ReasonML bindings for tree-sitter

Syntax extension for writing SQL in OCaml

Fast, safe and composable streaming abstractions.

Nyan Cat for VSCode!

Reason + BuckleScript bindings to Immutable.js

Type Theory in Type Theory using Cubical Agda

ReasonML React Native (Expo) example

Constructive Interpretations of HoTT

Convert JavaScript doctrings (in jsdoc AST format) to ijavascript Jupyter Notebooks

Deciding Presburger arithmetic in agda

Strongly typed declarative markup for the DOM and CSS

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

CPS sugar usage for React Render Props composition in ReasonML

Proof automation – for Agda, in Agda.

2048 game in Reason React

Visual Studio Code extension for lix

LifeTime app

➡️ 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.

Edit commit messages in a convenient way.

Slack integration for a local Sonos system