imos / PuzzleLinks
Solvers and makers for Pencil Puzzles
☆19Updated 14 years ago
Alternatives and similar repositories for Puzzle
Users that are interested in Puzzle are comparing it to the libraries listed below
Sorting:
- Open source library to handle integers of any size in C☆14Updated 2 years ago
- Othello program created by Gunnar Andersson - This is a copy of the original code -☆16Updated 11 years ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆46Updated last month
- http://mroman.ch/burlesque☆14Updated 5 years ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- The Befunge-98 test suite.☆28Updated 3 years ago
- ☆22Updated 2 years ago
- Fork of https://github.com/niklasf/fishnet Supports variants playable on https://www.pychess.org☆13Updated this week
- Polyglot autogolfer for https://code.golf☆21Updated last year
- Here we give programs that check if Turing machines halt or not.☆14Updated 3 months ago
- A simple stack based code golf language☆26Updated 3 years ago
- Busy Beaver deciders backed by Coq proof☆58Updated 9 months ago
- I ❤︎ FEM: A finite element method demo in Umka and tophat☆18Updated 4 months ago
- A two-dimensional programming language from 1994.☆12Updated 9 years ago
- ☆12Updated 3 years ago
- Solutions to math olympiad problems in Isabelle/HOL☆11Updated 4 years ago
- Attempt to find a brute-force solution to Tetris☆18Updated 3 years ago
- Java implementations of sequences in the OEIS☆68Updated this week
- A code-golf language written in Mathematica☆20Updated 5 years ago
- A formal proof of an exponentially better upper bound on Ramsey numbers☆18Updated 2 years ago
- A Windows program to search for cellular automata patterns☆16Updated 12 years ago
- A number guessing game with a p-adic twist.☆11Updated 2 years ago
- x86 assembler in 512 bytes of x86 machine code☆38Updated 6 years ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 4 years ago
- Collection of interpreters for esoteric programming languages☆14Updated 4 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 3 years ago
- TD-Gammon implementation☆48Updated 2 years ago
- Tools for finding and analyzing Busy Beaver programs for Turing machines☆12Updated this week
- MERGED WITH "BetaOne" ---------- AntiFish is a Neural Network designed to exploit weaknesses within Stockfish. The hope is that one day A…☆12Updated 6 years ago
- A Python-based C compiler for x86-64, featuring full parsing, semantic analysis, IR generation, and assembly code emission.☆24Updated 2 months ago