Alternatives and similar repositories for Puzzle

Users that are interested in Puzzle are comparing it to the libraries listed below

• KaKrzysiek / bigint
  Open source library to handle integers of any size in C
  ☆14Updated 2 years ago
• jsummers / winlifesearch
  A Windows program to search for cellular automata patterns
  ☆16Updated 13 years ago
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆68Updated this week
• thomasahle / numberlink
  Program for generating and solving numberlink / flow free puzzles
  ☆96Updated 4 years ago
• Deewiant / Mycology
  The Befunge-98 test suite.
  ☆28Updated 3 years ago
• FMNSSun / Burlesque
  http://mroman.ch/burlesque
  ☆14Updated 6 years ago
• hoshir / zebra
  Othello program created by Gunnar Andersson - This is a copy of the original code -
  ☆16Updated 11 years ago
• blynn / netwalk
  Puzzle game: connect all terminals to the server
  ☆20Updated 5 years ago
• tjwei / Fractran
  Javascript implementation of Fractran
  ☆15Updated 8 years ago
• primo-ppcg / BF-Crunch
  ☆12Updated 3 years ago
• kvakil / 0asm
  x86 assembler in 512 bytes of x86 machine code
  ☆38Updated 6 years ago
• gbtami / fairyfishnet
  Fork of https://github.com/niklasf/fishnet Supports variants playable on https://www.pychess.org
  ☆13Updated 2 weeks ago
• meithecatte / isabelle-math-contests
  Solutions to math olympiad problems in Isabelle/HOL
  ☆11Updated 4 years ago
• bbchallenge / bbchallenge-deciders
  Here we give programs that check if Turing machines halt or not.
  ☆15Updated 4 months ago
• nickdrozd / busy-beaver-stuff
  Tools for finding and analyzing Busy Beaver programs for Turing machines
  ☆13Updated this week
• cslarsen / busy-beaver
  Calculates the uncomputable Busy Beaver Σ-function
  ☆11Updated 9 years ago
• xldenis / besm
  Resurrecting PP-BESM
  ☆27Updated last month
• m-ender / orthagonal
  A two-dimensional programming language from 1994.
  ☆12Updated 9 years ago
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 4 years ago
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆49Updated last week
• iczelia / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 3 years ago
• 8l / hsq
  Higher Subleq is a simplified typeless C language.
  ☆12Updated 10 years ago
• cctv2206 / Pintos-project-3
  Pintos Operating System Implementation for Virtual Memory
  ☆12Updated 9 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 2 months ago
• wrandelshofer / CubeTwister
  Companion software for Rubik's Cube like puzzles.
  ☆18Updated 3 weeks ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆59Updated 10 months ago
• Hakerh400 / esolangs
  Collection of interpreters for esoteric programming languages
  ☆15Updated 4 years ago
• clsn / ries
  Robert Munafo's reverse equation solver
  ☆19Updated 2 years ago
• emreyolcu / rewriting-collatz
  An automated approach to the Collatz conjecture
  ☆12Updated 2 years ago
• Kroneckera / bunkbed-counterexample
  ☆15Updated last year