dirkschumacher / nodepicosatLinks
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
Sorting:
- List of values that can be used as `name`s on HTML `meta` elements☆9Updated 2 years ago
- Solves the halting problem :)☆17Updated 5 years ago
- ☆7Updated 8 years ago
- send hypercore/hyperdrive stats over server-side events☆10Updated 7 years ago
- Edgar Anderson's iris data.☆10Updated 9 years ago
- make choo's events non-blocking ... ...☆13Updated 8 years ago
- ☁️ Stencila in the cloud☆13Updated 5 years ago
- Map of SVG elements to allowed attributes☆26Updated last year
- A Dat Storage Provider for Google Drive☆9Updated 7 years ago
- Given two sorted arrays, a and b, efficiently return an array of indexes of b's elements in a.☆8Updated 8 years ago
- streaming html templates☆16Updated 8 months ago
- Subscribe to a LevelDB value☆3Updated 7 years ago
- database abstraction engine, with index and backing store support☆9Updated 9 years ago
- Low level bit encoder for buffers☆16Updated 8 years ago
- A random-access-storage instance that wraps another one and adds latency☆8Updated 7 years ago
- Distributed reduce on top of hypercore☆17Updated 8 years ago
- materialized view key/id store based on unordered log messages☆20Updated 5 years ago
- Stream all of npm metadata into hypercore☆19Updated 8 years ago
- Peer to peer replication for a hyperdb using files you can send around on a USB stick.☆9Updated 7 years ago
- Bitfield that allocates a series of small buffers to support sparse bits without allocating a massive buffer☆26Updated 4 years ago
- Simple little virtual DOM node builder for Preact.☆15Updated 8 years ago
- serialize lists and maps of strings☆9Updated 3 weeks ago
- PassThrough stream that only lets through tar archives☆8Updated 7 years ago
- Open any npm package readme as a man page☆10Updated 7 years ago
- Yet another Merkle DAG☆33Updated 9 years ago
- Web chat room☆18Updated 7 years ago
- [DEPRECATED] - Use http://github.com/schultyy/cabinet instead☆11Updated 8 years ago
- Build a hyperdb of Wikipedia articles.☆24Updated 3 years ago
- browserify transform to transparently convert the regl API to use multi-regl☆7Updated 6 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