What input method would you prefer for Unicode characters in a neovim plugin?

• unicode.vim

  5 449 2.6 Vim Script

  A Vim plugin that provides a completion function for Unicode glyphs

There are several independents Unicode input plugins for vim already, that could be included as a dependency / suggestion for the user, which would reduce the scope of the project, like: - unicode.vim - a plugin for CtrlP - latex-unicoder.vim - or even the input method of agda-vim

• vim-ctrlp-unicode

  1 4 10.0 VimL

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

There are several independents Unicode input plugins for vim already, that could be included as a dependency / suggestion for the user, which would reduce the scope of the project, like: - unicode.vim - a plugin for CtrlP - latex-unicoder.vim - or even the input method of agda-vim

• 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.

  

• latex-unicoder.vim

  1 88 0.0 Vim Script

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

There are several independents Unicode input plugins for vim already, that could be included as a dependency / suggestion for the user, which would reduce the scope of the project, like: - unicode.vim - a plugin for CtrlP - latex-unicoder.vim - or even the input method of agda-vim

• agda-vim

  2 128 0.0 Vim Script

  Agda interaction in vim

There are several independents Unicode input plugins for vim already, that could be included as a dependency / suggestion for the user, which would reduce the scope of the project, like: - unicode.vim - a plugin for CtrlP - latex-unicoder.vim - or even the input method of agda-vim

• agda-mode-vscode

  1 163 8.9 ReScript

  agda-mode on VS Code

If you decide to stick to Agda's usual backslash, you may wanna consider allowing user to decide which character to use, as the backslash may have other purpose in their keyboard layout. See https://github.com/banacorn/agda-mode-vscode/issues/58

• Agda

  27 2,368 9.8 Haskell

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

  

My best guess is that it has not really been maintained lately, there were only 12 commits in the last 7 years, some of which are just global modifications, which include this file as well: https://github.com/agda/agda/commits/136f85386ec43245745b76f03505bda4f5d1ed3f/src/full/Agda/Interaction/Highlighting/Vim.hs

• agda.nvim

  1 16 3.4 Lua

  NeoVim plugin for interacting with Agda written in Lua

Yes, I have put it in a GitHub repo. :) I've tried to structure it as a proper plugin, so far I have only tested installing it using Vim-Plug, which worked: https://github.com/Isti115/agda.nvim

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

Suggest a related project