Alternatives and similar repositories for nodepicosat

Users that are interested in nodepicosat are comparing it to the libraries listed below

• ForbesLindesay / halting-problem
  Solves the halting problem :)
  ☆17Updated 5 years ago
• mattdesl / gh-md-urls
  find and resolve URLs in GitHub Markdown
  ☆13Updated 9 years ago
• ssb-junkyard / graphreduce
  ☆13Updated 6 years ago
• wooorm / svg-element-attributes
  Map of SVG elements to allowed attributes
  ☆26Updated last year
• winkjs / wink-porter2-stemmer
  Javascript Implementation of Porter Stemmer Algorithm V2 by Dr Martin F Porter
  ☆20Updated 2 years ago
• editdata / kv-editor
  A reusable UI element for editing lists of key/value data.
  ☆15Updated 8 years ago
• mafintosh / sorted-indexof
  Given two sorted arrays, a and b, efficiently return an array of indexes of b's elements in a.
  ☆8Updated 7 years ago
• wooorm / match-casing
  Match the case of `value` to that of `base`
  ☆13Updated 2 years ago
• okdistribute / hypercore-stats-server
  send hypercore/hyperdrive stats over server-side events
  ☆10Updated 7 years ago
• wooorm / meta-name
  List of values that can be used as `name`s on HTML `meta` elements
  ☆9Updated 2 years ago
• mk30 / regl-example-experiments
  experiments with http://regl.party
  ☆11Updated 8 years ago
• dominictarr / obv
  ☆13Updated 4 years ago
• random-access-storage / random-access-latency
  A random-access-storage instance that wraps another one and adds latency
  ☆8Updated 7 years ago
• max-mapper / google-drive-storage
  A Dat Storage Provider for Google Drive
  ☆9Updated 7 years ago
• capsidjs / genel
  Utility for generating html elements with tagged`template literal`. Only 649 bytes.
  ☆12Updated 7 months ago
• digidem / hyperdb-sneakernet
  Peer to peer replication for a hyperdb using files you can send around on a USB stick.
  ☆9Updated 7 years ago
• kilmc / battery
  An Atomic CSS Generator
  ☆11Updated 2 years ago
• push-stream / push-mux
  push-stream based multiplexing with credit based flow control
  ☆11Updated 5 years ago
• winkjs / wink-regression-tree
  Decision Tree to predict the value of a continuous target variable
  ☆16Updated 2 years ago
• max-mapper / zimmer
  streaming parser for the ZIM aka OpenZIM file format http://www.openzim.org/wiki/ZIM_file_format
  ☆14Updated 8 years ago
• JerrySievert / db-engine
  database abstraction engine, with index and backing store support
  ☆9Updated 9 years ago
• notenoughneon / nekocafe
  Web chat room
  ☆18Updated 7 years ago
• stackhtml / hstream
  streaming html templates
  ☆16Updated 7 months ago
• goto-bus-stop / multisplice
  easily splice a string multiple times, using offsets into the original string
  ☆14Updated last year
• shama / webpackify
  Use webpack through a Browserify plugin
  ☆22Updated 11 years ago
• mafintosh / bit-encode
  Low level bit encoder for buffers
  ☆16Updated 8 years ago
• mafintosh / latency-stream
  A stream that can mimic network latency
  ☆20Updated 5 years ago
• pfrazee / pretty-hash
  Output binary buffers as a nice shortened hex string
  ☆27Updated 5 years ago
• digidem / unordered-materialized-backrefs
  materialized view to calculate back-references for unordered log messages
  ☆10Updated 5 years ago
• mafintosh / hrpc
  Simple RPC with Protobuf Services
  ☆25Updated 4 years ago