SAT-based solver for the Hexiom logic puzzle
☆34Feb 20, 2012Updated 14 years ago
Alternatives and similar repositories for hexiom
Users that are interested in hexiom are comparing it to the libraries listed below
Sorting:
- Clojure / OSGi integration☆32Jul 29, 2012Updated 13 years ago
- DebugIt: Use specialization so you can debug-print a value without explicit (and viral) Debug trait bound. (Not really maintained. Uses …☆10Nov 27, 2021Updated 4 years ago
- Random Access Zipper in OCaml☆14Dec 8, 2016Updated 9 years ago
- Simple auto completion web server☆32Jan 15, 2015Updated 11 years ago
- RC-NFQ: Regularized Convolutional Neural Fitted Q Iteration. A batch algorithm for deep reinforcement learning. Incorporates dropout regu…☆12Mar 17, 2021Updated 4 years ago
- A miniKanren implementation in Rust☆37Mar 8, 2016Updated 9 years ago
- Python OAuth Library☆17May 22, 2013Updated 12 years ago
- Rust-nlp is a library to use Natural Language Processing algorithm with RUST☆44Jun 18, 2019Updated 6 years ago
- A community-driven Solr stopwords collection☆21Jun 1, 2011Updated 14 years ago
- THIS VERSION IS VERY OLD, NO LONGER IN THE APP STORE. MIGHT UPDATE IT SOMETIME IN THE FUTURE. LEFT FOR LEARNING/SHARING PURPOSES. The ori…☆18Aug 18, 2014Updated 11 years ago
- Clojure in-memory database modeled on sets, not tables. Comprehend supports pattern matching, forward matching, rewriting, and transactio…☆73Apr 19, 2020Updated 5 years ago
- Simple recursive and iterative SAT solver written in Python.☆123Mar 2, 2019Updated 7 years ago
- Examples of using AtomizeJS☆28Nov 19, 2012Updated 13 years ago
- Calendar which is an equivalent of the Google's product.☆21Oct 6, 2016Updated 9 years ago
- Embed GDB breakpoints in C source code☆55May 16, 2012Updated 13 years ago
- Proof of concept for an anti-phishing browser plugin, working by comparing pages screenshots with perceptual hashing algorithms.☆10Apr 3, 2022Updated 3 years ago
- CDCL(Crypto) SAT solver for cryptanalysis problems☆11Mar 5, 2021Updated 5 years ago
- Software specification and verification system based on graph rewriting☆37Nov 9, 2022Updated 3 years ago
- A collection of advent of code solutions.☆10Dec 28, 2015Updated 10 years ago
- OpenNI☆31Jan 17, 2011Updated 15 years ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- ☆11Mar 26, 2024Updated last year
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- Crossfilter.js implemented as a mixin for ultra-fast filtering and sorting techniques baked into React.js components.☆13Mar 3, 2015Updated 11 years ago
- Collection of Pure Data patches collected from all over the world (mostly not mine)☆11Dec 17, 2020Updated 5 years ago
- RBAC APIs for SAAS based services in Rust☆10Jul 10, 2019Updated 6 years ago
- AI chaos reasoning persona☆29Feb 27, 2026Updated last week
- Copy and Paste standard library (CPSTL) is a repository with a collection of data structure and algorithms in many different languages☆13Feb 15, 2025Updated last year
- A little book on General Relativity and Einstein–Cartan Theory☆16Mar 13, 2014Updated 11 years ago
- 📄Source code variable naming using a seq2seq architecture☆10Mar 19, 2020Updated 5 years ago
- A Rust linear algebra library based on expression templates☆52Jun 13, 2021Updated 4 years ago
- A Rust crate for differential-geometric calculations.☆41Jul 13, 2019Updated 6 years ago
- Clock is a small library for mocking time in Go.☆13Jan 12, 2025Updated last year
- JavaFx based FileChooser and DirectoryChooser☆14Jan 26, 2026Updated last month
- Regular expression derivatives and DFAs☆12Dec 26, 2023Updated 2 years ago
- COS 429 final project completed by Adam Fisch and Max Shatkhin. Using image processing techniques including Eulerian Video Magnification …☆10Sep 25, 2015Updated 10 years ago
- ☆15Jan 22, 2014Updated 12 years ago
- Standalone version of pytest's assertion introspection rewrite☆12Nov 26, 2025Updated 3 months ago
- Source code for the example presented in my article for Code Words Issue Six.☆12Mar 22, 2016Updated 9 years ago