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
- Web chat room☆18Updated 7 years ago
- Peer to peer replication for a hyperdb using files you can send around on a USB stick.☆9Updated 7 years ago
- send hypercore/hyperdrive stats over server-side events☆10Updated 7 years ago
- A Dat Storage Provider for Google Drive☆9Updated 7 years ago
- browserify transform to transparently convert the regl API to use multi-regl☆7Updated 6 years ago
- git svn clone http://isbnjs.googlecode.com/svn/trunk/☆22Updated 7 years ago
- Edgar Anderson's iris data.☆10Updated 9 years ago
- experiments with http://regl.party☆11Updated 8 years ago
- Webtorrent video element for virtual-dom☆8Updated 9 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 7 years ago
- database abstraction engine, with index and backing store support☆9Updated 9 years ago
- Applies browserify transforms to your source code, without actually bundling it.☆27Updated 8 years ago
- Tiny, single file, scalable key value store based on HAMTs☆53Updated 5 years ago
- Distributed reduce on top of hypercore☆17Updated 8 years ago
- node's fs module with leveldb as backend☆60Updated 8 years ago
- ☆7Updated 8 years ago
- Given two sorted arrays, a and b, efficiently return an array of indexes of b's elements in a.☆8Updated 7 years ago
- My presentation at p2p day berlin 2018☆11Updated 7 years ago
- Open any npm package readme as a man page☆10Updated 7 years ago
- streaming parser for the ZIM aka OpenZIM file format http://www.openzim.org/wiki/ZIM_file_format☆14Updated 7 years ago
- Select Web Component with autocompletion. Based on RxJS and VirtualDOM.☆12Updated 9 years ago
- DEPRECATED in favour of retext’s virtual object model☆39Updated 9 years ago
- A very opinionated but very convenient way to test Secure Scuttlebutt applications☆10Updated 7 years ago
- create symbolic link between hyperdrives☆13Updated 8 years ago
- Wrap handlers to use pull-stream in a choo plugin☆15Updated 7 years ago
- read and write to a file in a cache-friendly way by using aligned blocks☆8Updated 4 years ago
- source code to aggregate pull stream ecosystem docs☆11Updated 4 years ago
- materialized view key/id store based on unordered log messages☆20Updated 5 years ago
- Distributed process manager☆23Updated 8 years ago