nand-js

See https://github.com/juan-esteller/NAND for a description of the language and documentation.

Installation

npm install nand-js --save

or else (if you are using with iJavascript notebooks):

npm install nand-js -g

Usage

var nand = require('nand-js');
 
var program = 
`y_0 := x_0 NAND x_1
 y_1 := x_2 NAND x_3`;
 
var input = '0111';
var language = 'NAND++';
var syntacticSugar = true;
 
var result = nand.interpret(program, input, language /* = 'NAND' */, syntacticSugar /* = true */);
console.log(result);
 
// Removes syntactic sugar
var newProgram = nand.unsweeten(program, language /* = NAND */);
console.log(newProgram);

Building

1. The repository https://github.com/juan-esteller/NAND is included as a submodule. Build the submodule first to regenerate ML files by running build.bash.
2. Use npm run build to build the OCaml into JS via Bucklescript. The repository simply provides a light wrapper over the functions.