Alternatives and similar repositories for node-smtlib:

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

• js-js / cfg.js
  Javascript AST to CFG converter
  ☆20Updated 8 years ago
• UWNetworksLab / metasync
  MetaSync
  ☆20Updated 9 years ago
• julianjensen / dominators
  Various dominator tree algorithms
  ☆22Updated 4 years ago
• bovine / nodetcl
  Node.JS extension to allow Tcl code to be invoked from JavaScript
  ☆19Updated 9 months ago
• shapesecurity / shift-ast-js
  constructors for Shift format AST nodes
  ☆27Updated 2 years ago
• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆48Updated 10 years ago
• ExpoSEJS / z3javascript
  A JavaScript wrapper for Z3 containing support for regular expressions & capture groups
  ☆22Updated 9 months ago
• vmx / jslens
  Bidirectional transformation with lenses
  ☆28Updated 2 years ago
• drom / wast-parser
  WebAssembly AST parser
  ☆18Updated 6 years ago
• indutny / mini-test.c
  Minimalistic portable test runner for C projects
  ☆13Updated 7 years ago
• anmavrid / DesignBIP
  ☆11Updated 7 years ago
• calmh / yardstick
  [UNMAINTAINED] Javascript code metrics
  ☆27Updated 8 years ago
• estools / esvalid
  confirm that a SpiderMonkey format AST represents an ECMAScript program
  ☆27Updated 9 years ago
• iden3 / wasmbuilder
  Javascript package that helps to build wasm code by hand.
  ☆14Updated 11 months ago
• fd0 / lbfs
  Mirror of the original lbfs (Low Bandwidth File System) cvs repository at http://www.fs.net/cvs/lbfs/ (404)
  ☆29Updated 10 years ago
• hugomrdias / rabin-wasm
  Rabin fingerprinting implemented in WASM
  ☆28Updated 3 years ago
• Raynos / append-only
  Append only scuttlebutt structure
  ☆26Updated 12 years ago
• SciSpike / yaktor
  Event-driven, asynchronous, distributed, multi-party state-machine targeting the Node.js platform.
  ☆16Updated 7 years ago
• shapesecurity / shift-fuzzer-js
  generate random valid Shift format ASTs
  ☆20Updated 2 years ago
• creationix / ts-git
  TypeScript re-implementation of js-git (aka js-git 2.0)
  ☆11Updated 9 years ago
• miracle2k / wasmbind
  Nicer Python interface to Webassembly modules.
  ☆18Updated 3 years ago
• google / dev-on-chromeos-openvpn
  ☆12Updated 7 years ago
• libp2p / interface-record-store
  [DEPRECATED]: deprecated in favor of https://github.com/ipfs/interface-datastore
  ☆9Updated 5 years ago
• CodeJockey / node-ninja
  Node.js native addon build tool
  ☆15Updated 2 years ago
• urbit / archaeology
  An Operating Function
  ☆329Updated 10 years ago
• oasislabs / wasi-runner
  🏃‍♀️Runner for WASI modules
  ☆10Updated last year
• mrkmarron / node-chakracore-time-travel-debugger
  Visual Studio Code extension for adding NodeChakraCore Time-Travel Debugging
  ☆23Updated 5 years ago
• Sleepyowl / jsprolog
  A simple Prolog interpreter written with javascript
  ☆16Updated 7 years ago
• terminusdb / terminus-schema
  Terminus DB Schemas - Formal descriptions and documentation of all the internal data structures used by Terminus DB
  ☆10Updated 5 years ago
• cabal-club / cabals
  a list of public cabals
  ☆18Updated 6 months ago