hugomg / hexiomView external linksLinks
SAT-based solver for the Hexiom logic puzzle
☆34Feb 20, 2012Updated 13 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
- elm inspired state manager in rust☆11Nov 7, 2016Updated 9 years ago
- Random Access Zipper in OCaml☆14Dec 8, 2016Updated 9 years ago
- A miniKanren implementation in Rust☆37Mar 8, 2016Updated 9 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 6 years ago
- Examples of using AtomizeJS☆28Nov 19, 2012Updated 13 years ago
- some quantile algorithm implementaton for stream data☆12Jul 24, 2018Updated 7 years ago
- A datalog prover and interpreter in Go.☆37Jan 11, 2016Updated 10 years ago
- rate limiting http proxy with credit limits☆39Jul 4, 2013Updated 12 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
- Combinatorial tricks to enumerate regular expressions in closed-form.☆33Dec 14, 2016Updated 9 years ago
- RBAC APIs for SAAS based services in Rust☆11Jul 10, 2019Updated 6 years ago
- My final year project at the University of Strathclyde☆13Jan 26, 2023Updated 3 years ago
- OpenNI☆31Jan 17, 2011Updated 15 years ago
- Dead simple JSON Formatter☆10Oct 21, 2016Updated 9 years ago
- A synthesizer using React, ToneJS, and nexusUI.☆10Jul 18, 2016Updated 9 years ago
- 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 white-box Speck implementation using self-equivalence encodings☆13Jun 25, 2022Updated 3 years ago
- Identifies music based on microphone input. By request of someone in r/learnprogramming.☆19Dec 8, 2012Updated 13 years ago
- A versatile, easily configurable vocoder software in MATLAB, for research purposes☆12Apr 9, 2021Updated 4 years ago
- A collection of advent of code solutions.☆10Dec 28, 2015Updated 10 years ago
- Collection of Pure Data patches collected from all over the world (mostly not mine)☆11Dec 17, 2020Updated 5 years ago
- Handle POSIX signals in Clojure.☆22Dec 29, 2013Updated 12 years ago
- Uses Node.js and Leap Motion to control an AR Drone and stream video to the browser.☆62Nov 20, 2013Updated 12 years ago
- Slides for an introductory talk about Haskell (in German)☆11May 16, 2020Updated 5 years ago
- ☆17Sep 5, 2025Updated 5 months ago
- Calculate distances between strings by how similar they look☆11Jan 28, 2024Updated 2 years ago
- A library to implement event-sourcing microservices☆17Sep 26, 2025Updated 4 months ago
- ☆12Jun 29, 2018Updated 7 years ago
- Sample for training an agent which mimics a cab driver to gain maximum profits by picking the correct rides. The agent is trained using d…☆10Jul 5, 2022Updated 3 years ago
- Source code for the example presented in my article for Code Words Issue Six.☆12Mar 22, 2016Updated 9 years ago
- Anything related to Ghidra☆12Apr 22, 2019Updated 6 years ago
- module that resolves and cleans up urls☆22Jul 20, 2021Updated 4 years ago
- A Formalization of TeX in Coq☆11Feb 27, 2022Updated 3 years ago
- Typeset version of Chuck Moore's book: "Programming a Problem-Oriented-Language"☆13Oct 1, 2014Updated 11 years ago
- Standalone version of pytest's assertion introspection rewrite☆12Nov 26, 2025Updated 2 months ago