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
Sorting:
- A solver for halting problem of Brainfuck programs☆17Updated 5 years ago
- My unofficial picat http://picat-lang.org/ repository☆28Updated last year
- 📰😱‼️ A Racket implementation of Tabloid, the clickbait programming language!☆93Updated 4 years ago
- 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).☆22Updated 2 years ago
- Try It Online clone: online sandbox environment for testing code in a variety of languages☆60Updated 4 months ago
- Jupyter notebooks for Dyalog APL☆42Updated 11 months ago
- lang befunge 93 fast☆20Updated last year
- Visual environment for manipulation the lambda calculus expressions☆25Updated last year
- Spatial Programming Language☆19Updated 2 years ago
- ☆10Updated 7 months ago
- Cellular automata search program☆26Updated 2 years ago
- Tools for the grammar and writing system of the Ithkuil constructed language☆27Updated last year
- git mirror with some local fixes. currently not uptodate☆15Updated 2 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- A set of tools for analysis of texts in the Ithkuil constructed language☆31Updated 5 years ago
- The Free Life Planner Reference Manual☆11Updated this week
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆17Updated 2 months ago
- A miniature version of the l4 language☆10Updated 10 months ago
- Learn Lean and topology☆21Updated 2 years ago
- Metamath verifier in Python☆38Updated last year
- National Novel Generation Month, 2021 edition.☆44Updated last year
- Compiler for MFM programming language☆22Updated 2 months ago
- Simple timetabling engine for schools☆28Updated 10 months ago
- A lisp dialect based on pattern matching and term rewriting☆84Updated 7 months ago
- tiny experimental language for limited environments☆17Updated 2 years ago
- Code presented in the APL Quest☆12Updated last year
- Binary rational numbers in Coq [maintainer=@herbelin]☆14Updated last year
- This repository contains the source html files for the website complex-analysis.com☆14Updated 2 months ago
- Exercism exercises in Prolog.☆31Updated 2 months ago