agda-mode-vscode
rescript-mui
| agda-mode-vscode | rescript-mui | |
|---|---|---|
| 1 | 2 | |
| 173 | 257 | |
| 1.7% | 0.8% | |
| 9.0 | 6.3 | |
| 4 days ago | 2 months 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
rescript-react - Official ReScript bindings for ReactJS
unicode.vim - A Vim plugin that provides a completion function for Unicode glyphs
rescript - ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
agda.nvim - NeoVim plugin for interacting with Agda written in Lua
from-typescript-to-rescript - Frontend of https://Inhyped.com written in TypeScript and rewritten in ReScript
vim-ctrlp-unicode - Extension for CtrlP.vim to provide easy input of the characters in the UnicodeData database
genType - Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.
Agda - Agda is a dependently typed programming language / interactive theorem prover.
lwt - OCaml promises and concurrent I/O