dirkschumacher / nodepicosat
SAT solver PicoSAT for javascript
☆8Updated 7 years ago
Alternatives and similar repositories for nodepicosat:
Users that are interested in nodepicosat are comparing it to the libraries listed below
- send hypercore/hyperdrive stats over server-side events☆10Updated 6 years ago
- Peer to peer replication for a hyperdb using files you can send around on a USB stick.☆9Updated 7 years ago
- ☆13Updated 4 years ago
- materialized view key/id store based on unordered log messages☆20Updated 5 years ago
- Http pull-stream functions☆11Updated 9 years ago
- browserify transform to transparently convert the regl API to use multi-regl☆7Updated 6 years ago
- A very opinionated but very convenient way to test Secure Scuttlebutt applications☆10Updated 7 years ago
- git svn clone http://isbnjs.googlecode.com/svn/trunk/☆22Updated 7 years ago
- make kappa-core views over leveldb☆11Updated 4 years ago
- A stream that can mimic network latency☆20Updated 5 years ago
- make choo's events non-blocking ... ...☆13Updated 7 years ago
- streaming parser for the ZIM aka OpenZIM file format http://www.openzim.org/wiki/ZIM_file_format☆14Updated 7 years ago
- Back a textarea with a hyper-string for conflict-free p2p replication!☆19Updated 7 years ago
- ☆7Updated 8 years ago
- Webtorrent video element for virtual-dom☆8Updated 9 years ago
- List of values that can be used as `name`s on HTML `meta` elements☆9Updated 2 years ago
- LevelGraph.io Playground☆11Updated 3 years ago
- A Dat Storage Provider for Google Drive☆9Updated 7 years ago
- Bitfield that allocates a series of small buffers to support sparse bits without allocating a massive buffer☆26Updated 3 years ago
- A reusable UI element for editing lists of key/value data.☆14Updated 8 years ago
- an experiment in opinionated helpers for `inu`☆18Updated 8 years ago
- A random-access-storage instance that wraps another one and adds latency☆8Updated 6 years ago
- a cross-platform "airdrop" made as a demo for offline camp☆27Updated 7 years ago
- Check is a buffer only contains 0s☆15Updated 7 years ago
- push-stream based multiplexing with credit based flow control☆11Updated 5 years ago
- A compile-to-JSON data pipeline scripting language [ DEPRECATED - More info on active projects and modules at https://dat-ecosystem.org/ …☆43Updated 3 years ago
- ☆13Updated 6 years ago
- Tiny, single file, scalable key value store based on HAMTs☆53Updated 5 years ago
- Stream meta tags into html☆16Updated 7 years ago
- Distributed reduce on top of hypercore☆17Updated 8 years ago