Alternatives and similar repositories for Puzzle

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

• primo-ppcg / BF-Crunch
  ☆12Updated 3 years ago
• hoshir / zebra
  Othello program created by Gunnar Andersson - This is a copy of the original code -
  ☆16Updated 11 years ago
• 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
• iczelia / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 3 years ago
• thomasahle / numberlink
  Program for generating and solving numberlink / flow free puzzles
  ☆98Updated 2 weeks ago
• bbchallenge / bbchallenge-deciders
  Here we give programs that check if Turing machines halt or not.
  ☆15Updated 5 months ago
• FMNSSun / Burlesque
  http://mroman.ch/burlesque
  ☆14Updated 6 years ago
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆69Updated last week
• stubbscroll / OEIS
  implementation of OEIS sequences
  ☆11Updated 9 years ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆61Updated 11 months ago
• cbouilla / pcg
  Prediction algorithms for the PCG pseudo-random generator
  ☆14Updated 5 years ago
• meithecatte / isabelle-math-contests
  Solutions to math olympiad problems in Isabelle/HOL
  ☆11Updated 4 years ago
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆49Updated 2 weeks ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 2 months ago
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆26Updated last month
• dwrensha / Rupert.lean
  Formalization of the Rupert Problem for convex polyhedra.
  ☆17Updated last month
• qntm / tetris
  Attempt to find a brute-force solution to Tetris
  ☆18Updated 3 years ago
• qpliu / esolang
  My esoteric languages
  ☆28Updated 3 years ago
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 4 years ago
• kvakil / 0asm
  x86 assembler in 512 bytes of x86 machine code
  ☆38Updated 6 years ago
• tkwa / Sledgehammer
  A code-golf language written in Mathematica
  ☆20Updated 5 years ago
• tjwei / Fractran
  Javascript implementation of Fractran
  ☆15Updated 8 years ago
• vtereshkov / fem
  I ❤︎ FEM: A finite element method demo in Umka and tophat
  ☆18Updated 6 months ago
• darrenks / golfscript
  A simple stack based code golf language
  ☆26Updated 3 years ago
• m-lohmann / BeeswaxEsolang.jl
  beeswax Esoteric Programming Language
  ☆15Updated 5 years ago
• jbeder / fractran
  Fractran interpreter in Fractran
  ☆36Updated 11 years ago
• AZHenley / bignum
  A bignum library for C.
  ☆33Updated last year
• weirddan455 / chess
  ☆16Updated 3 years ago
• cctv2206 / Pintos-project-3
  Pintos Operating System Implementation for Virtual Memory
  ☆12Updated 9 years ago