mlepage / polycube-solver
Lua program using Algorithm X to solve the problem of packing polycubic pieces into boxes. Includes bit matrix module. MIT license.
☆18Updated 12 years ago
Related projects: ⓘ
- Fast automated solver for Flow Free in a single C or Python file.☆47Updated last year
- Cayley Dickson algebra implementation in python☆12Updated 5 years ago
- The source code for mastering the game of Chutes and Ladders☆19Updated 3 years ago
- Cellular automata search program☆26Updated 2 years ago
- A basic implementation of the Small Primes Number-Theoretic Transform (NTT) multiplication algorithm.☆21Updated 6 years ago
- Reversible cellular automata simulator in HTML5 + Java Script.☆31Updated 7 years ago
- ☆125Updated last year
- Busy Beaver deciders backed by Coq proof☆35Updated last month
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆19Updated 2 weeks ago
- An online math contest platform☆17Updated this week
- Metamath verifier in Python☆35Updated 5 months ago
- A C++ Ataxx library to handle move generation, move validation, and other aspects of the board game Ataxx☆10Updated 5 months ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆20Updated 3 years ago
- An automated approach to the Collatz conjecture☆12Updated 11 months ago
- Your Universal Cellular Automata☆11Updated 5 months ago
- Transfinite ordinal arithmetic and factorisation up to epsilon-zero☆11Updated 2 years ago
- Indev golfing language☆17Updated 4 years ago
- Conway's Game of Life with multiple states. A precursor of Lenia.☆27Updated 5 years ago
- Cellular automata simulation powered by GPU☆15Updated 3 years ago
- Conformally map the hyperbolic plane to arbitrary shapes.☆61Updated 8 months ago
- QWOP AI using Q-learning☆12Updated 8 years ago
- Non-euclidean Rubik's Cube Analogues☆87Updated 7 months ago
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequences☆46Updated last year
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆31Updated 2 weeks ago
- A stack-based programming language with a lot of symmetry.☆25Updated 7 years ago
- A slimmed-down, Totalistic-only version of my CA generator☆29Updated 9 years ago
- Two-dimensional esolang. WIP, please contribute☆8Updated 6 years ago
- A JIT compiled chess engine which traverses the search tree in batches in a best-first manner, allowing for neural network batching, asyn…☆29Updated 2 years ago
- Extensible esoteric programming language interpreter written in Python 3. *Not in active development/contributors needed*☆19Updated 5 years ago
- Quipu Programming Language☆18Updated 11 years ago