Torvaney / flow-solverLinks
Solving the "Flow Free" game (mobile app) with Clojure and SAT
☆11Updated 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:
- Repository for programming language SPLAT: Spatial Programming Language, Ascii Text☆52Updated 3 years ago
- ARCHIVED Generate Code from BNF Grammars☆12Updated 3 years ago
- 🖖 Prolog-style Logic Programming in pure R☆37Updated 5 years ago
- Software Tools in JavaScript☆28Updated 2 years ago
- Game theory in Clojure☆18Updated 12 years ago
- An automated approach to the Collatz conjecture☆13Updated last year
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆22Updated last week
- Interactive visualization for time series forecasts☆23Updated 4 years ago
- Basics of relational programming with Prolog —PROgramming in LOGic ^_^☆74Updated 5 years ago
- Bringing Prolog to the masses.☆36Updated 3 years ago
- [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…☆55Updated this week
- system dynamics modeling☆83Updated this week
- Metamath verifier in Python☆40Updated 3 months ago
- microKanren implementation from DLS '16☆14Updated 7 years ago
- A slimmed-down, Totalistic-only version of my CA generator☆29Updated 10 years ago
- Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).☆22Updated 2 years ago
- Art of Prolog Code☆36Updated 6 years ago
- Grammatical Evolution for R☆28Updated 2 years ago
- Purely Functional Data Structures☆13Updated 10 years ago
- Learning Finite State Machine Models from Data with a Genetic Algorithm☆11Updated 4 years ago
- Discussion of MeTTa programming with examples☆31Updated 3 weeks ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Updated 2 years ago
- Convert P Values to Video Poker hands☆15Updated 2 years ago
- A friendly pandas wrapper with a more composable grammar support.☆14Updated 8 years ago
- A [personal]<-[notebook]->[network]. Complete with custom numerics for constrained Gaussian gravitation physics.☆22Updated 3 years ago
- A tutorial for DCG's in swi-Prolog☆34Updated 4 years ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆47Updated 2 weeks ago
- interactive programming tutorials, powered by Github and Docker☆143Updated 3 months ago
- An extensible, lightweight relational/logic programming DSL written in pure Python☆220Updated last month
- Machine Query Interface☆19Updated this week