Agda.nvim Alternatives

Similar projects and alternatives to agda.nvim

• Agda

  27 2,371 9.8 Haskell agda.nvim VS Agda

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

  

• unicode.vim

  5 449 2.6 Vim Script agda.nvim VS unicode.vim

  A Vim plugin that provides a completion function for Unicode glyphs

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• agda-vim

  2 128 0.0 Vim Script agda.nvim VS agda-vim

  Agda interaction in vim

• agda-mode-vscode

  1 163 8.9 ReScript agda.nvim VS agda-mode-vscode

  agda-mode on VS Code

• latex-unicoder.vim

  1 88 0.0 Vim Script agda.nvim VS latex-unicoder.vim

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

• vim-ctrlp-unicode

  1 4 10.0 VimL agda.nvim VS vim-ctrlp-unicode

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