agda-mode-vscode
rescript-mui
Our great sponsors
agda-mode-vscode | rescript-mui | |
---|---|---|
1 | 2 | |
163 | 246 | |
- | -0.4% | |
8.9 | 8.6 | |
4 months ago | 9 days ago | |
ReScript | ReScript | |
MIT License | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
agda-mode-vscode
-
What input method would you prefer for Unicode characters in a neovim plugin?
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
rescript-mui
-
From TypeScript to ReScript
I've been using ReScript for a few months now. So far I mostly like it, but it takes some time to get used to it. The error messages can be confusing though so I try not to depend too much on type inference. The other downside is that some bindings for some of the web apis seem to be missing (like for the types in the Dom module).
Btw, for Material UI there are already bindings [1]
[1] https://github.com/cca-io/rescript-material-ui
-
Help with bindings in @rescript/react
Some even wrote binding generators, as it is hard to keep up with the growth of UI libraries: https://github.com/jsiebern/bs-material-ui/tree/master/tools/binding-generator
What are some alternatives?
awesome-vscode - 🎨 A curated list of delightful VS Code packages and resources.
Idris2 - A purely functional programming language with first class types
agda-vim - Agda interaction in vim
melange - A mixture of tooling combined to produce JavaScript from OCaml & Reason
unicode.vim - A Vim plugin that provides a completion function for Unicode glyphs
rescript-compiler - The compiler for ReScript.
agda.nvim - NeoVim plugin for interacting with Agda written in Lua
genType - Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.
latex-unicoder.vim - A plugin to type Unicode chars in Vim, using their LaTeX names.
rescript-react - Official ReScript bindings for ReactJS
vim-ctrlp-unicode - Extension for CtrlP.vim to provide easy input of the characters in the UnicodeData database
lwt - OCaml promises and concurrent I/O