Alternatives and similar repositories for node-smtlib

Users that are interested in node-smtlib are comparing it to the libraries listed below

• shapesecurity / shift-ast-js
  constructors for Shift format AST nodes
  ☆27Updated 3 years ago
• estools / esvalid
  confirm that a SpiderMonkey format AST represents an ECMAScript program
  ☆27Updated 9 years ago
• Raynos / append-only
  Append only scuttlebutt structure
  ☆26Updated 12 years ago
• js-js / cfg.js
  Javascript AST to CFG converter
  ☆20Updated 9 years ago
• indutny / mini-test.c
  Minimalistic portable test runner for C projects
  ☆13Updated 8 years ago
• dominictarr / fib.wasm
  ☆10Updated 5 years ago
• mafintosh / sparse-bitfield
  Bitfield that allocates a series of small buffers to support sparse bits without allocating a massive buffer
  ☆26Updated 4 years ago
• multiformats / js-multihashing-async
  The fast version of js-multihashing
  ☆29Updated 3 years ago
• mafintosh / single-line-stream
  Basically single-line-log by @freeall except this is a through stream
  ☆15Updated 9 years ago
• LinusU / buffer-alloc
  A ponyfill for Buffer.alloc
  ☆13Updated 6 years ago
• CodeJockey / node-ninja
  Node.js native addon build tool
  ☆15Updated 2 years ago
• editdata / kv-editor
  A reusable UI element for editing lists of key/value data.
  ☆15Updated 8 years ago
• drom / wast-parser
  WebAssembly AST parser
  ☆18Updated 6 years ago
• vmx / jslens
  Bidirectional transformation with lenses
  ☆28Updated 3 years ago
• shapesecurity / shift-fuzzer-js
  generate random valid Shift format ASTs
  ☆20Updated 3 years ago
• mafintosh / hyperirc-www
  ☆14Updated 7 years ago
• hughsk / file-tree
  Generate a tree of file metadata that matches d3's hierarchy layout format
  ☆12Updated 9 years ago
• javert2 / JaVerT2.0
  JaVerT2.0 - Compositional Symbolic Execution for JavaScript
  ☆19Updated 5 years ago
• LinusU / buffer-fill
  A ponyfill for Buffer.fill
  ☆10Updated 6 years ago
• vorpaljs / bash-codegen
  Bash source code generator
  ☆9Updated 7 years ago
• miracle2k / wasmbind
  Nicer Python interface to Webassembly modules.
  ☆18Updated 3 years ago
• montagejs / joey
  An HTTP content negotiation client and server JavaScript library, inspired by Sinatra and JSGI, and using Q promises.
  ☆40Updated 8 years ago
• bovine / nodetcl
  Node.JS extension to allow Tcl code to be invoked from JavaScript
  ☆19Updated 11 months ago
• datrs / varinteger
  Encode / decode varints.
  ☆14Updated 4 years ago
• hugomrdias / rabin-wasm
  Rabin fingerprinting implemented in WASM
  ☆28Updated 3 years ago
• wesleytodd / rabinjs
  A pure js implementation of Rabin fingerprinting (aka. content defind chunking)
  ☆13Updated 8 years ago
• yoshuawuyts / tar-filter-stream
  PassThrough stream that only lets through tar archives
  ☆8Updated 7 years ago
• SciSpike / yaktor
  Event-driven, asynchronous, distributed, multi-party state-machine targeting the Node.js platform.
  ☆16Updated 7 years ago
• cabal-club / cabals
  a list of public cabals
  ☆18Updated 9 months ago
• mikolalysenko / morton-page
  Morton order page index for multidimensional arrays
  ☆12Updated 11 years ago