Agda-mode-vscode Alternatives

Similar projects and alternatives to agda-mode-vscode

• agda-vim

  1 121 0.0 Vim Script agda-mode-vscode VS agda-vim

  Agda interaction in vim

• awesome-vscode

  - 22,540 0.0 JavaScript agda-mode-vscode VS awesome-vscode

  🎨 A curated list of delightful VS Code packages and resources.

• SonarQube

  www.sonarqube.org

  sponsored

  Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.

  

• unicode.vim

  1 420 3.8 Vim Script agda-mode-vscode VS unicode.vim

  A Vim plugin that provides a completion function for Unicode glyphs

• agda.nvim

  1 13 1.1 Lua agda-mode-vscode VS agda.nvim

  NeoVim plugin for interacting with Agda written in Lua

• latex-unicoder.vim

  1 84 0.0 Vim Script agda-mode-vscode VS latex-unicoder.vim

  A plugin to type Unicode chars in Vim, using their LaTeX names.

• Agda

  1 2,113 9.8 Haskell agda-mode-vscode VS Agda

  Agda is a dependently typed programming language / interactive theorem prover.

  

• vim-ctrlp-unicode

  1 4 10.0 VimL agda-mode-vscode VS vim-ctrlp-unicode

  Extension for CtrlP.vim to provide easy input of the characters in the UnicodeData database

• InfluxDB

  www.influxdata.com

  sponsored

  Access the most powerful time series database as a service. Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.

  

• bs-material-ui

  - 241 0.0 ReScript agda-mode-vscode VS bs-material-ui

  ReScript bindings for Material-UI