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:
- Javascript Implementation of Porter Stemmer Algorithm V2 by Dr Martin F Porter☆20Updated 2 years ago
- List of values that can be used as `name`s on HTML `meta` elements☆9Updated 2 years ago
- Decision Tree to predict the value of a continuous target variable☆16Updated 2 years ago
- a cross-platform "airdrop" made as a demo for offline camp☆27Updated 8 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
- git svn clone http://isbnjs.googlecode.com/svn/trunk/☆22Updated 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
- A Dat Storage Provider for Google Drive☆9Updated 7 years ago
- Solves the halting problem :)☆17Updated 5 years ago
- find and resolve URLs in GitHub Markdown☆13Updated 10 years ago
- push-stream based multiplexing with credit based flow control☆11Updated 6 years ago
- DEPRECATED in favour of retext’s virtual object model☆39Updated 9 years ago
- Low level bit encoder for buffers☆16Updated 8 years ago
- Game to learn advanced Spanish playing with synonyms and definitions. Final bachelor project.☆5Updated 9 years ago
- ☆13Updated 6 years ago
- Collection of Node.js streams.☆20Updated 7 years ago
- A CouchDB implementation on top of levelup.☆66Updated 8 years ago
- Stream meta tags into html☆16Updated 8 years ago
- Output binary buffers as a nice shortened hex string☆27Updated 6 years ago
- Distributed process manager☆23Updated 8 years ago
- Latin-script (natural language) parser☆57Updated 8 months ago
- Bitfield that allocates a series of small buffers to support sparse bits without allocating a massive buffer☆26Updated 4 years ago
- Formula to detect the ease of reading a text according to the SMOG (Simple Measure of Gobbledygook) formula (1969)☆18Updated 2 years ago
- ☆7Updated 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
- Stream all of npm metadata into hypercore☆19Updated 8 years ago
- Tiny, single file, scalable key value store based on HAMTs☆53Updated 6 years ago
- make choo's events non-blocking ... ...☆13Updated 8 years ago
- Plaintext task management for graph nerds.☆15Updated 3 years ago