Alternatives and similar repositories for node-smtlib:

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

• cabal-club / cabals
  a list of public cabals
  ☆18Updated 5 months ago
• hugomrdias / rabin-wasm
  Rabin fingerprinting implemented in WASM
  ☆28Updated 3 years ago
• LinusU / buffer-alloc
  A ponyfill for Buffer.alloc
  ☆13Updated 6 years ago
• vmx / jslens
  Bidirectional transformation with lenses
  ☆28Updated 2 years ago
• shapesecurity / shift-ast-js
  constructors for Shift format AST nodes
  ☆27Updated 2 years ago
• multiformats / js-multihashing-async
  The fast version of js-multihashing
  ☆29Updated 3 years ago
• js-js / cfg.js
  Javascript AST to CFG converter
  ☆20Updated 8 years ago
• CollinearGroup / pcap-ng-parser
  Node.js Module for parsing .pcapng files and tcpdump output.
  ☆16Updated last year
• WebAssembly / funclets
  Proposal for adding funclets - flexible intraprocedural control flow
  ☆19Updated 3 years ago
• indutny / mini-test.c
  Minimalistic portable test runner for C projects
  ☆13Updated 7 years ago
• ipfs-shipyard / ipfs-npm-registry-mirror
  Clone the NPM registry into IPFS
  ☆19Updated 2 years ago
• libp2p / interface-record-store
  [DEPRECATED]: deprecated in favor of https://github.com/ipfs/interface-datastore
  ☆9Updated 5 years ago
• Raynos / append-only
  Append only scuttlebutt structure
  ☆26Updated 12 years ago
• estools / esvalid
  confirm that a SpiderMonkey format AST represents an ECMAScript program
  ☆27Updated 9 years ago
• creationix / ts-git
  TypeScript re-implementation of js-git (aka js-git 2.0)
  ☆11Updated 9 years ago
• evanw / esoptimize
  A JavaScript AST optimizer
  ☆18Updated 11 years ago
• node-unicode / unicode-11.0.0
  JavaScript-compatible Unicode data. Arrays of code points, arrays of symbols, and regular expressions for Unicode v11.0.0’s categories, s…
  ☆15Updated 4 months ago
• eclipse-cdt-cloud / trace-server-protocol
  Specification of the Trace Server Protocol (TSP)
  ☆25Updated 2 months ago
• mafintosh / single-line-stream
  Basically single-line-log by @freeall except this is a through stream
  ☆15Updated 9 years ago
• libp2p / js-libp2p-utp
  uTP module libp2p uses. Implements the interface-transport spec
  ☆12Updated last year
• hyperswarm / hypersign
  Utility methods related to public key cryptography to be used with distributed mutable storage
  ☆14Updated 4 years ago
• prebuild / prebuildify-cross
  Compile prebuilds in Docker.
  ☆18Updated 5 months ago
• probot / mistaken-pull-closer
  A GitHub app built with Probot that automatically closes pull requests that are commonly mistakes.
  ☆9Updated 3 years ago
• ssbc / ssb-threads
  Scuttlebot plugin for fetching messages as threads
  ☆21Updated 2 years ago
• w3c / wot-security
  a repo exclusively for security to better manage issues and security considerations for WoT
  ☆18Updated last year
• dominictarr / fib.wasm
  ☆10Updated 4 years ago
• stackgl / gl-buffer
  WebGL buffer wrapper
  ☆23Updated 9 years ago
• juliangruber / level-fs
  node's fs module with leveldb as backend
  ☆60Updated 8 years ago
• lezer-parser / html
  An HTML parser for Lezer
  ☆14Updated 9 months ago
• jayphelps / wasm-anyref-demo
  Playing around with WebAssembly (Wasm) anyref using JavaScript's GC as the allocator
  ☆22Updated 2 years ago