v-nodejs-addon
Node.js wrapper
A Node.js addon written in Coq that enables the integration of V with a JavaScript runtime environment.
nodejs addon using v
6 stars
2 watching
0 forks
Language: Coq
last commit: 10 months ago
Linked from 1 awesome list
Related projects:
Repository | Description | Stars |
---|---|---|
fanlia/iconv | A Vlang wrapper around an iconv library for converting between character encodings. | 6 |
yushimatenjin/playcanvas-node | Provides a Node.js wrapper around PlayCanvas API for accessing project assets and data through a REST API. | 5 |
vciancio/golem-node-server | Exposes information about a Golem node to the network | 2 |
neovim/node-client | A client library for Node.js to interact with Neovim's embedded JavaScript environment | 489 |
workshopper/goingnative | A workshopper for learning to write native Node.js addons using JavaScript. | 416 |
sanack/node-jq | A Node.js wrapper for the lightweight and flexible command-line JSON processor jq | 278 |
vciancio/golem-dashboard | A ReactJS application that displays stats of golem nodes. | 5 |
jzarca01/node-nestor | An API wrapper for interacting with the Nestor service | 0 |
ehmicky/nvexeca | A Node.js library and CLI tool for executing commands with a specific Node version | 42 |
nodejs/llnode | A debugger plugin for Node.js processes and core dumps that enables inspection of JavaScript states. | 1,154 |
browserify/stream-browserify | Makes Node.js stream API compatible with browser environments. | 103 |
lydiandy/cjson | A Vlang wrapper around cJSON for working with JSON data structures and serialization. | 11 |
max-mapper/art-of-node | An introduction to Node.js designed for readers with a basic understanding of programming and collaboration tools. | 9,814 |
expressjs/serve-favicon | Middleware to serve a favicon from a given path or buffer. | 619 |
geode-solutions/genepi | Generates a Node.js addon from C++ code using N-API | 81 |