coq.vim
co
coq.vim | co | |
---|---|---|
1 | 3 | |
15 | 11,866 | |
- | - | |
0.0 | 0.0 | |
almost 5 years ago | over 3 years ago | |
VimL | JavaScript | |
- | 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.
coq.vim
-
I spent 1 year of my life on making a fast as fuck Vim completion client with ass loads of features. (Author of CHADTree)
Coq is also the (unfortunate) name of the most widespread proof assistant around; while the currently dominant language support plugin is called CoqTail, Coq support plugins all riff on the same name. For instance, there is an interactive proof mode called coq.vim, a collection of syntax and indent scripts also called coq.vim, and the similarly-named Coquille.
co
- Main-Thread-Scheduling
-
What's another way to write "for await" that is es6 compatible?
Given that the semantics of async functions are quite similar to generator functions, you can use a library the uses the latter to emulate the former – e.g.: https://github.com/tj/co
-
Promises: async/await vs .then(), how we got here and why I use both
Then after a while, we resorted to generator functions and cogenerators, which made async code feel like its synchronous, at the cost of wrapping it in a generator function, yielding every line and introducing a cogenerator library (for example co) to deal with unwrapping the promises like the following example, where we could just yield a promise whenever we encounter it and pretend that the yield does not exist on that line of code.
What are some alternatives?
coq - Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
suspend - Callback-free control flow for Node using ES6 generators.
kok.nvim - Fast as FUCK nvim completion. SQLite, concurrent scheduler, hundreds of hours of optimization.
bluebird-co - A set of high performance yield handlers for Bluebird coroutines
iterum - Handling iterables like lazy arrays.
promise-breaker - Helps you write libraries that accept both promises and callbacks.
OF - 🍬 Promise wrapper with sugar 🍬
Simple-Series-Parallel - A minimalist utility module for running async functions in series or parallel
cpsfy - 🚀 Tiny goodies for Continuation-Passing-Style functions, fully tested
matchbook-ts - pattern matching in javascript & typescript made easy
contra - :surfer: Asynchronous flow control with a functional taste to it
Node RED - Low-code programming for event-driven applications