Torvaney / flow-solver
Solving the "Flow Free" game (mobile app) with Clojure and SAT
☆11Updated 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☆52Updated 3 years ago
- Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).☆21Updated 2 years ago
- A solver for halting problem of Brainfuck programs☆17Updated 5 years ago
- The Free Life Planner Reference Manual☆11Updated 2 months ago
- My unofficial picat http://picat-lang.org/ repository☆28Updated last year
- Advent of Code 2020 solutions in Dyalog APL☆22Updated 4 years ago
- tiny experimental language for limited environments☆17Updated 2 years ago
- Jupyter notebooks for Dyalog APL☆42Updated 10 months ago
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆18Updated last year
- An automated approach to the Collatz conjecture☆13Updated last year
- Visual environment for manipulation the lambda calculus expressions☆22Updated last year
- Learn Lean and topology☆21Updated last year
- A textbook for Conway's Game of Life.☆34Updated 3 years ago
- Code presented in the APL Quest☆12Updated last year
- Binary rational numbers in Coq [maintainer=@herbelin]☆14Updated last year
- The Coil Programming Language☆34Updated last year
- Try It Online clone: online sandbox environment for testing code in a variety of languages☆59Updated 3 months ago
- A fast, flexible, and feature-rich interactive multidimensional cellular automaton simulator written in Rust☆25Updated 3 years ago
- Metamath verifier in Python☆38Updated 11 months ago
- lang befunge 93 fast☆20Updated last year
- Leibniz - a Digital Scientific Notation☆33Updated 2 months ago
- Automatically exported from code.google.com/p/joypy☆28Updated 7 years ago
- I moved this folder. Keeping this repo up for archival purposes only.☆17Updated 9 months ago
- A collection of documents and writings on efficient programming in array-oriented languages akin to APL.☆9Updated last year
- A WordNet in GF☆25Updated this week
- Canvas based syntax tree editor☆27Updated 3 months ago
- Converting APL Primitives to NumPy Expressions☆27Updated last year
- Helper scripts for understanding Gödel's Incompleteness Theorem☆13Updated 3 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆13Updated 8 years ago
- Basics of relational programming with Prolog —PROgramming in LOGic ^_^☆73Updated 4 years ago