Torvaney / flow-solver
Solving the "Flow Free" game (mobile app) with Clojure and SAT
☆10Updated 5 years ago
Alternatives and similar repositories for flow-solver:
Users that are interested in flow-solver are comparing it to the libraries listed below
- Repository for programming language SPLAT: Spatial Programming Language, Ascii Text☆51Updated 3 years ago
- I moved this folder. Keeping this repo up for archival purposes only.☆17Updated 8 months ago
- Estimate the number of legal chess positions☆12Updated 4 years ago
- SWI-Prolog WebAssembly build as a NPM package☆45Updated this week
- Command-line recursive question-answering with immutable contexts and explicit data store☆25Updated 6 years ago
- A collection of documents and writings on efficient programming in array-oriented languages akin to APL.☆9Updated last year
- Compiler for MFM programming language☆21Updated 3 months ago
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆17Updated this week
- ☆11Updated last year
- Jupyter notebooks for Dyalog APL☆42Updated 8 months ago
- microKanren implementation from DLS '16☆14Updated 6 years ago
- The Coil Programming Language☆34Updated 11 months ago
- Use MiniZinc in the browser or with NodeJS☆33Updated this week
- ☆46Updated 10 months ago
- The Ludii general game system, developed as part of the ERC-funded Digital Ludeme Project.☆111Updated this week
- A Scheduling Problem in Prolog☆12Updated 9 years ago
- QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator☆32Updated 8 years ago
- modal logic library for LEAN theorem prover☆10Updated 7 years ago
- Automatically exported from code.google.com/p/joypy☆28Updated 7 years ago
- Compiler and runtime engine for NetLogo models that runs in JavaScript 🐢☆55Updated 8 months ago
- Converting APL Primitives to NumPy Expressions☆26Updated last year
- Diagramming Prototype☆23Updated 2 years ago
- The A+ programming language from Morgan Stanley☆17Updated 10 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated last year
- CHR: Leuven Constraint Handling Rules☆24Updated 2 weeks ago
- Executable version of Structure and Interpretation of Classical Mechanics.☆32Updated 3 years ago
- various toys in j☆12Updated 2 years ago
- Machine Query Interface☆18Updated 2 weeks ago
- Leibniz - a Digital Scientific Notation☆33Updated last month
- Game theory in Clojure☆18Updated 12 years ago