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 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
- The website for the AdvancedResearch community☆21Feb 7, 2026Updated 3 weeks ago
- WIP Idiomatic Frontend Web Framework for Rust / WebAssembly☆22Jul 24, 2019Updated 6 years ago
- Arbitrary precision integers library.☆27Mar 25, 2021Updated 4 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
- 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
- [FCCM 2023] PASTA: Programming and Automation Support for Scalable Task-Parallel HLS Programs on Modern Multi-Die FPGAs☆13Jun 26, 2025Updated 8 months 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
- 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 attempt to create an open source map editor/SDK/sandbox for ROSE Online☆13Mar 10, 2023Updated 2 years ago
- A research project to mix-regulate economy in MMO worlds☆34Mar 15, 2024Updated last year
- Famous game implemented in ReactJs tehnology.☆14Mar 4, 2023Updated 2 years ago
- Quantum Simulator in Scala☆12Feb 28, 2025Updated last year
- jQuery-based library for creating DOM elements quickly and easily☆10Apr 2, 2012Updated 13 years ago
- a distributed-merge capable database for many small objects☆76Jan 30, 2020Updated 6 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
- A Serde deserializer for duration and byte-size.☆10Dec 19, 2019Updated 6 years ago
- Read physical page locations from arbitrary Linux programs☆13Jun 20, 2017Updated 8 years ago
- Building Ubuntu 18 Bionic vagrant boxes using packer☆13Apr 21, 2020Updated 5 years ago
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Mar 31, 2017Updated 8 years ago
- Agile assessment exercise ideas☆15Apr 14, 2025Updated 10 months ago
- Elixir wrapper of Basho's Bitcask Key/Value store.☆12Mar 14, 2015Updated 10 years ago
- An experimental project to enable writing Substrate integration tests easily.☆12Mar 25, 2023Updated 2 years ago
- Version of OpenJFX 8 that builds on GNU/Linux and includes all patches from ojdkbuild☆12Jul 1, 2022Updated 3 years ago
- A simple PNaCl app (in Rust!) that prints "Hello, world!" on Chrome's developer console.☆13Apr 19, 2015Updated 10 years ago
- Create random planar graphs, suitable as input to graphviz neato.☆11Apr 18, 2014Updated 11 years ago
- Another dynamically-typed, lightweight programming language☆12May 5, 2015Updated 10 years ago