Library for backtracking with customizable search for moves
☆23Dec 16, 2025Updated 2 months ago
Alternatives and similar repositories for quickbacktrack
Users that are interested in quickbacktrack are comparing it to the libraries listed below
Sorting:
- An in-memory topological sort algorithm for trees based on Group Theory☆23Apr 11, 2021Updated 4 years ago
- A Rust crate enabling generalized Interval representations and operations☆12Nov 3, 2024Updated last year
- A monotonic solver designed to be easy to use with Rust enum expressions☆50Apr 11, 2021Updated 4 years ago
- Combinatorial phantom types for discrete mathematics☆16Dec 26, 2025Updated 2 months ago
- SecBox - Sensitive data container☆14Jul 30, 2016Updated 9 years ago
- A linear solver designed to be easy to use with Rust enums.☆34Apr 11, 2021Updated 4 years ago
- A fast, brute force, automatic theorem prover for first order logic☆42Sep 20, 2024Updated last year
- A self-hosted collaborative digital pathology viewer with real-time cursor presence and overlays☆28Feb 17, 2026Updated last week
- A typification of Robert Plutchik's "Wheel of Emotions".☆17Oct 21, 2015Updated 10 years ago
- The website for the AdvancedResearch community☆21Feb 7, 2026Updated 3 weeks ago
- ☆15Oct 17, 2024Updated last year
- Rust implementation of prolog based on miniprolog: http://andrej.com/plzoo/html/miniprolog.html☆82Aug 28, 2020Updated 5 years ago
- A DSL parsing library for human readable text documents☆91Apr 12, 2021Updated 4 years ago
- An experimental allocated buffer suitable for image data (Rust library).☆34Jan 27, 2026Updated last month
- Main repository for the Logchain as a Service platform☆11Dec 8, 2022Updated 3 years ago
- Scripting DSL with Rust interpreter☆33Apr 13, 2022Updated 3 years ago
- A Rust library for iterating over random permutations.☆14Jun 15, 2021Updated 4 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆14Jan 21, 2017Updated 9 years ago
- Famous game implemented in ReactJs tehnology.☆14Mar 4, 2023Updated 2 years ago
- An attempt to create an open source map editor/SDK/sandbox for ROSE Online☆13Mar 10, 2023Updated 2 years ago
- Quantum Simulator in Scala☆12Feb 28, 2025Updated last year
- A research project to mix-regulate economy in MMO worlds☆34Mar 15, 2024Updated last year
- INCLUSIFY is a tool to support the practical use of diversity-sensitive language in German.☆12Sep 14, 2022Updated 3 years ago
- Factorio overhaul which expands the factory onto the moon☆12Jul 8, 2025Updated 7 months ago
- An AMD am2901 4-bit ALU slice☆10Feb 14, 2023Updated 3 years ago
- Ways of working for our Github Organisation☆14Dec 12, 2024Updated last year
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- Sample Python code that demonstrates how to use the Python client to work with Riak TS (Time Series)☆11Aug 30, 2016Updated 9 years ago
- Install a Cargo application from source without a preexisting Rust installation☆36Feb 22, 2015Updated 11 years ago
- A library for manipulating unstructured Markdown documents.☆48Mar 25, 2023Updated 2 years ago
- Prolog implementation of microKanren☆44Feb 20, 2015Updated 11 years ago
- A portable single-layer timer wheel implementation.☆13Dec 8, 2025Updated 2 months ago
- ☆12Mar 24, 2022Updated 3 years ago
- Nhost Next.js with Apollo☆10Aug 9, 2022Updated 3 years ago
- Unofficial terralang compiler☆13Apr 21, 2023Updated 2 years ago
- Crowdsourced event coverage system developed by Pittsburgh IndyMedia during the G20. Incorporates twitter, flickr, google maps, podcast…☆24Feb 15, 2010Updated 16 years ago
- Ignite Bowser (https://github.com/infinitered/ignite-bowser) version of the great https://github.com/react-native-community/rn-diff-purge…☆10May 6, 2023Updated 2 years ago
- A me maintained zub-vm fork. A super-fast, stack-based virtual machine for dynamic languages☆12Aug 9, 2025Updated 6 months ago
- Setup backports repository for Debian and Ubuntu☆11May 23, 2022Updated 3 years ago