Alternatives and similar repositories for node-smtlib

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

• ExpoSEJS / z3javascript
  A JavaScript wrapper for Z3 containing support for regular expressions & capture groups
  ☆22Updated 11 months ago
• drom / wast-parser
  WebAssembly AST parser
  ☆18Updated 6 years ago
• shapesecurity / shift-ast-js
  constructors for Shift format AST nodes
  ☆27Updated 3 years ago
• js-js / cfg.js
  Javascript AST to CFG converter
  ☆20Updated 8 years ago
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 11 years ago
• julianjensen / dominators
  Various dominator tree algorithms
  ☆23Updated 5 years ago
• smarr / CSOM
  CSOM - C implementation of the Simple Object Machine Smalltalk
  ☆11Updated 3 years ago
• Raynos / append-only
  Append only scuttlebutt structure
  ☆26Updated 12 years ago
• dat-ecosystem-archive / datprotocol.org
  Dat Protocol Website [ DEPRECATED - More info on active projects and modules at https://dat-ecosystem.org/ ]
  ☆10Updated 3 years ago
• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆48Updated 10 years ago
• javert2 / JaVerT2.0
  JaVerT2.0 - Compositional Symbolic Execution for JavaScript
  ☆19Updated 5 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
• datrs / varinteger
  Encode / decode varints.
  ☆14Updated 4 years ago
• miracle2k / wasmbind
  Nicer Python interface to Webassembly modules.
  ☆18Updated 3 years ago
• indutny / mini-test.c
  Minimalistic portable test runner for C projects
  ☆13Updated 7 years ago
• libp2p / interface-record-store
  [DEPRECATED]: deprecated in favor of https://github.com/ipfs/interface-datastore
  ☆9Updated 5 years ago
• statebox / bcfwm
  Blockchain Technology for the Working Mathematician
  ☆24Updated 7 years ago
• hugomrdias / rabin-wasm
  Rabin fingerprinting implemented in WASM
  ☆28Updated 3 years ago
• WileyLabs / levelgraph-playground
  LevelGraph.io Playground
  ☆11Updated 3 years ago
• editdata / kv-editor
  A reusable UI element for editing lists of key/value data.
  ☆15Updated 8 years ago
• ipfs-shipyard / ipfs-npm-registry-mirror
  Clone the NPM registry into IPFS
  ☆19Updated last month
• TooTallNate / ref-wchar
  A ref "type" implementation of `wchar_t *` (a.k.a. wide string) backed by "node-iconv"
  ☆15Updated 8 years ago
• multiformats / js-multihashing-async
  The fast version of js-multihashing
  ☆29Updated 3 years ago
• wapm-packages / jsc
  JavaScriptCore on WebAssembly
  ☆19Updated 3 years ago
• mikolalysenko / morton-page
  Morton order page index for multidimensional arrays
  ☆12Updated 11 years ago
• WardCunningham / graph
  lightweight property graph as javascript module
  ☆17Updated 9 months ago
• creationix / ts-git
  TypeScript re-implementation of js-git (aka js-git 2.0)
  ☆11Updated 9 years ago
• w8r / wasm-n-body
  WebAssembly N-body simulation benchmark
  ☆16Updated 2 years ago
• vmx / jslens
  Bidirectional transformation with lenses
  ☆28Updated 2 years ago
• stardog-union / millan
  The Stardog Whisperer: TypeScript/JS parsers for Stardog languages
  ☆16Updated 2 months ago