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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 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
- Structural version control powered by gotreesitter — entity-level merge, diff, and commit indexing for Git☆45Jun 25, 2026Updated 2 weeks ago
- A miniKanren implementation in Rust☆37Mar 8, 2016Updated 10 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 / OSGi integration☆32Jul 29, 2012Updated 13 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Rust-nlp is a library to use Natural Language Processing algorithm with RUST☆44Jun 18, 2019Updated 7 years ago
- RC-NFQ: Regularized Convolutional Neural Fitted Q Iteration. A batch algorithm for deep reinforcement learning. Incorporates dropout regu…☆12Mar 17, 2021Updated 5 years ago
- The dread tikzmark arrives on github☆15May 31, 2026Updated last month
- Python Implementation of Super and Hyper Log Log Sketches☆51Apr 15, 2012Updated 14 years ago
- Combinatorial tricks to enumerate regular expressions in closed-form.☆33Dec 14, 2016Updated 9 years ago
- Could the beautiful Scheme language be used to develop a database driven web application?☆25Apr 23, 2015Updated 11 years ago
- Git Archive Daemon (mirror of https://gitorious.org/gitorious/git-archive-daemon)☆13Nov 18, 2014Updated 11 years ago
- Bitarray implementation in Nim☆10Dec 14, 2020Updated 5 years ago
- Dash docset generator for Crystal☆19May 27, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- F# microservice template for Kubernetes☆14May 19, 2021Updated 5 years ago
- Gameboy emulator written in Typescript☆10Apr 7, 2018Updated 8 years ago
- Rust wrapper for the cld2 language detection library.☆16Nov 28, 2017Updated 8 years ago
- Linenoise FFI binding in rust☆12Apr 4, 2022Updated 4 years ago
- A now defunct Firefox add-on that enabled whitelisting for Remote XUL domains.☆19May 4, 2020Updated 6 years ago
- Chia is a F# library which contains HelperFunctions for reporting, logging and Azure cloud operations.☆12Jan 6, 2023Updated 3 years ago
- Implements a flexible form of dynamic binding to Ruby which allows to run a Proc inside a custom name lookup context☆26Jun 29, 2022Updated 4 years ago
- ☆19Aug 14, 2025Updated 10 months ago
- A Slack Bot for Epic Card Game☆11Mar 5, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A multiplayer WebGL game☆10Jan 7, 2023Updated 3 years ago
- Analyze four-dimensional observational data from multiple angles.☆11Jul 28, 2020Updated 5 years ago
- Benchmarks and test code for The Great Web Framework Shootout [DEPRECATED -- See techempower's benchmarks instead]☆294Mar 12, 2012Updated 14 years ago
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.☆18Nov 20, 2014Updated 11 years ago
- A .NET port of https://github.com/jongracecox/anybadge written in F#.☆14Jan 4, 2024Updated 2 years ago
- Playing with Factor☆29May 6, 2021Updated 5 years ago
- A BERT serializer and BERT-RPC client for .Net, written in F#☆29Apr 4, 2016Updated 10 years ago
- Datalog engine with extensions for integrating analyses☆39Oct 30, 2017Updated 8 years ago
- Go wrapper for LMDB - OpenLDAP Lightning Memory-Mapped Database☆37Feb 2, 2018Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Mandelbrot set visualizer in the terminal, written in Rust☆11Mar 5, 2016Updated 10 years ago
- a bot based on [suckless] ii, auto-managed by bash☆28May 18, 2012Updated 14 years ago
- Javascript multi-touch library (scale, rotate, drag) for mobile devices☆13Nov 23, 2016Updated 9 years ago
- Fable Formlets (Applicative Functor Forms kind of)☆14Dec 2, 2018Updated 7 years ago
- The 'spawner' application for Zerg demo☆33Sep 13, 2014Updated 11 years ago
- ☆13Apr 14, 2026Updated 2 months ago
- ☆16Feb 18, 2015Updated 11 years ago