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

GitHub

6 stars
2 watching
0 forks
Language: Coq
last commit: 10 months ago
Linked from 1 awesome list


Backlinks from these awesome lists:

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