Solving the "Flow Free" game (mobile app) with Clojure and SAT
☆11Jun 22, 2019Updated 6 years ago
Alternatives and similar repositories for flow-solver
Users that are interested in flow-solver are comparing it to the libraries listed below
Sorting:
- Javascripts☆11Feb 10, 2026Updated 2 weeks ago
- ☆11Apr 14, 2023Updated 2 years ago
- Verified decision procedures for modal logics in Lean☆12Jun 13, 2020Updated 5 years ago
- Fast automated solver for Flow Free in a single C or Python file.☆58Nov 23, 2022Updated 3 years ago
- Python Library for accessing the Springserve API☆10Jun 17, 2025Updated 8 months ago
- An open source graphical proof construction assistant for the creation of Propositional Natural Deduction proofs.☆17Feb 3, 2024Updated 2 years ago
- This is a read-only mirror of the CRAN R package repository. TraMineR — Trajectory Miner: a Sequence Analysis Toolkit. Homepage: http:/…☆11Dec 14, 2025Updated 2 months ago
- An advanced orbital dynamics and n-body simulation program.☆12Sep 5, 2023Updated 2 years ago
- Terraform provider for Azure Devops☆12Jun 2, 2021Updated 4 years ago
- A web application framework to visualize sports as a animation of player tracker data. The current build does this using a sample of data…☆10Jan 26, 2022Updated 4 years ago
- This is a read-only mirror of the CRAN R package repository. arulesSequences — Mining Frequent Sequences☆10Nov 25, 2025Updated 3 months ago
- This is an engine for 2D webgames and webtoys☆10Apr 6, 2022Updated 3 years ago
- Compare 2 basketball players by reading/comparing NBA stats in an Excel sheet.☆11Aug 19, 2018Updated 7 years ago
- An active inference model of Lacanian psychoanalysis☆15Jun 7, 2025Updated 8 months ago
- ☆12Oct 14, 2025Updated 4 months ago
- Backup of notes on random stuff I'm working on☆11Nov 20, 2025Updated 3 months ago
- A template for a user authentication interface in RShiny☆11Feb 22, 2018Updated 8 years ago
- Collection of my implementations of computational models of cognition☆11Nov 20, 2023Updated 2 years ago
- Temporal starter allows to start any activity or workflow by HTTP in a universal way.☆12Feb 18, 2021Updated 5 years ago
- ☆12May 2, 2024Updated last year
- A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.☆11Jan 5, 2025Updated last year
- ☆10Feb 17, 2026Updated last week
- PROOF OF TOSS is a decentralized betting ecosystem that is aimed to modernize and change the betting industry. Our platform allows anyone…☆13Oct 17, 2018Updated 7 years ago
- ☆11Apr 26, 2021Updated 4 years ago
- Mouse-tracking plugin for browsers☆14Jan 7, 2023Updated 3 years ago
- Datasets and models included in the book "Introduction to Bayesian Data Analysis for Cognitive Science".☆16Dec 11, 2025Updated 2 months ago
- Repository for the DPP'23 course☆11May 2, 2024Updated last year
- Sample MRSS Feed for Amazon Creator☆13Oct 7, 2020Updated 5 years ago
- Generate optimal daily fantasy sports lineup☆10Aug 30, 2016Updated 9 years ago
- ☆13Oct 5, 2022Updated 3 years ago
- ☆11Updated this week
- Blend colors with different modes like multiply, overlay, dodge.☆23Jul 16, 2024Updated last year
- Play casino games in the R console☆10Feb 1, 2019Updated 7 years ago
- camel-kafka☆19Sep 6, 2014Updated 11 years ago
- An open-source tool for data analysis aimed to help researchers with their experiments.☆14Nov 14, 2023Updated 2 years ago
- A spider based on Scrapy and Selenium to scrape NFL's Next Gen Stats website.☆10Dec 26, 2019Updated 6 years ago
- Hands-On Reinforcement Learning with R, published by Packt☆13Oct 31, 2022Updated 3 years ago
- Pydra : a visual synthesizer written in Python☆11Dec 4, 2020Updated 5 years ago
- eye-movement similarity analysis☆10Dec 22, 2025Updated 2 months ago