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
- git svn clone http://isbnjs.googlecode.com/svn/trunk/☆22Updated 7 years ago
- send hypercore/hyperdrive stats over server-side events☆10Updated 7 years ago
- ☆13Updated 4 years ago
- Peer to peer replication for a hyperdb using files you can send around on a USB stick.☆9Updated 7 years ago
- Javascript Implementation of Porter Stemmer Algorithm V2 by Dr Martin F Porter☆20Updated 2 years ago
- A Dat Storage Provider for Google Drive☆9Updated 7 years ago
- database abstraction engine, with index and backing store support☆9Updated 9 years ago
- Build a hyperdb of Wikipedia articles.☆24Updated 3 years ago
- The Factis modular database system in one package !☆14Updated 9 years ago
- Decision Tree to predict the value of a continuous target variable☆16Updated 2 years ago
- A stream that can mimic network latency☆20Updated 5 years ago
- A reusable UI element for editing lists of key/value data.☆15Updated 8 years ago
- push-stream based multiplexing with credit based flow control☆11Updated 5 years ago
- browserify transform to transparently convert the regl API to use multi-regl☆7Updated 6 years ago
- Web chat room☆18Updated 7 years ago
- Capture screenshots using Firefox☆10Updated 7 years ago
- experiments with http://regl.party☆11Updated 8 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
- administrative procedures for the browserify org☆12Updated 5 years ago
- Low level bit encoder for buffers☆16Updated 8 years ago
- Simple RPC with Protobuf Services☆25Updated 4 years ago
- ☆13Updated 6 years ago
- ☆7Updated 8 years ago
- A basic implementation of a Kohonen map in JavaScript☆13Updated 2 years ago
- A very opinionated but very convenient way to test Secure Scuttlebutt applications☆10Updated 7 years ago
- Plaintext task management for graph nerds.☆15Updated 3 years ago
- Map of SVG elements to allowed attributes☆26Updated last year
- Test harness for Javascript libsodium implementations☆8Updated 2 years ago
- ☆11Updated 8 years ago