Alternatives and similar repositories for node-smtlib:

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

• juliangruber / level-fs
  node's fs module with leveldb as backend
  ☆60Updated 8 years ago
• kumavis / node-pterodactyl
  Visualize javascript objects as fractal trees
  ☆18Updated 7 years ago
• bbondy / bloom-filter-cpp
  ☆20Updated 5 years ago
• shapesecurity / shift-ast-js
  constructors for Shift format AST nodes
  ☆27Updated 2 years ago
• cabal-club / cabals
  a list of public cabals
  ☆18Updated 4 months ago
• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆48Updated 10 years ago
• GuildOfWeavers / merkle
  Merkle tree and other data structures.
  ☆17Updated 2 years ago
• indutny / mini-test.c
  Minimalistic portable test runner for C projects
  ☆13Updated 7 years ago
• multiformats / js-multihashing-async
  The fast version of js-multihashing
  ☆29Updated 3 years ago
• evanw / esoptimize
  A JavaScript AST optimizer
  ☆18Updated 11 years ago
• miracle2k / wasmbind
  Nicer Python interface to Webassembly modules.
  ☆18Updated 3 years ago
• js-js / cfg.js
  Javascript AST to CFG converter
  ☆20Updated 8 years ago
• winkjs / wink-regression-tree
  Decision Tree to predict the value of a continuous target variable
  ☆16Updated last year
• julianjensen / dominators
  Various dominator tree algorithms
  ☆22Updated 4 years ago
• datrs / varinteger
  Encode / decode varints.
  ☆14Updated 3 years ago
• hugomrdias / rabin-wasm
  Rabin fingerprinting implemented in WASM
  ☆28Updated 2 years ago
• editdata / kv-editor
  A reusable UI element for editing lists of key/value data.
  ☆14Updated 7 years ago
• p1100i / grid2.js
  a 2D static spatial grid index in JS
  ☆13Updated 2 years ago
• evanw / wasm-lang
  A hobby language that compiles to WebAssembly
  ☆22Updated 4 years ago
• smarr / CSOM
  CSOM - C implementation of the Simple Object Machine Smalltalk
  ☆11Updated 3 years ago
• chalk / strip-ansi-stream
  Strip ANSI escape codes
  ☆34Updated 3 years ago
• iden3 / wasmbuilder
  Javascript package that helps to build wasm code by hand.
  ☆14Updated 8 months ago
• mafintosh / single-line-stream
  Basically single-line-log by @freeall except this is a through stream
  ☆15Updated 9 years ago
• AssemblyScript / system-essentials
  Document scoped to discussion of System Essentials for WebAssembly
  ☆12Updated 3 years ago
• ipfs-shipyard / ipfs-npm-registry-mirror
  Clone the NPM registry into IPFS
  ☆19Updated 2 years ago
• drom / wast-parser
  WebAssembly AST parser
  ☆18Updated 6 years ago
• dominictarr / fib.wasm
  ☆10Updated 4 years ago
• LinusU / buffer-alloc
  A ponyfill for Buffer.alloc
  ☆12Updated 6 years ago
• montagejs / joey
  An HTTP content negotiation client and server JavaScript library, inspired by Sinatra and JSGI, and using Q promises.
  ☆40Updated 7 years ago
• tc39 / proposal-Math.signbit
  Math.signbit
  ☆9Updated 4 years ago