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
• thomasahle / numberlink
  Program for generating and solving numberlink / flow free puzzles
  ☆90Updated 3 years ago
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆43Updated 2 weeks ago
• vtereshkov / fem
  I ❤︎ FEM: A finite element method demo in Umka and tophat
  ☆18Updated last month
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆65Updated this week
• gbtami / fairyfishnet
  Fork of https://github.com/niklasf/fishnet Supports variants playable on https://www.pychess.org
  ☆12Updated 2 weeks ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆54Updated 6 months ago
• 8l / hsq
  Higher Subleq is a simplified typeless C language.
  ☆12Updated 9 years ago
• LBPHacker / R216
  Stuff one needs to play around with my R216 computers (see README)
  ☆18Updated 9 months ago
• bbchallenge / bbchallenge
  Frontend of https://bbchallenge.org
  ☆18Updated this week
• Kroneckera / bunkbed-counterexample
  ☆16Updated 11 months ago
• polygolf-lang / polygolf
  Polyglot autogolfer for https://code.golf
  ☆18Updated last year
• jsummers / winlifesearch
  A Windows program to search for cellular automata patterns
  ☆16Updated 12 years ago
• darrenks / golfscript
  A simple stack based code golf language
  ☆25Updated 2 years ago
• rzach / incompleteness-computability
  Textbook on Gödel's incompleteness theorems and computability theory
  ☆20Updated 2 months ago
• mame / self-description-set
  A formula that become itself when plotted
  ☆21Updated last year
• meithecatte / isabelle-math-contests
  Solutions to math olympiad problems in Isabelle/HOL
  ☆11Updated 4 years ago
• iczelia / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 3 years ago
• cctv2206 / Pintos-project-3
  Pintos Operating System Implementation for Virtual Memory
  ☆12Updated 9 years ago
• ibara / bf256
  Brainfuck compiler under 256 bytes in size.
  ☆28Updated 3 years ago
• weirddan455 / chess
  ☆16Updated 3 years ago
• FMNSSun / Burlesque
  http://mroman.ch/burlesque
  ☆14Updated 5 years ago
• b-mehta / exponential-ramsey
  A formal proof of an exponentially better upper bound on Ramsey numbers
  ☆17Updated last year
• m-ender / orthagonal
  A two-dimensional programming language from 1994.
  ☆12Updated 8 years ago
• Anon52MI4 / oeis-alien
  ☆20Updated 2 years ago
• Deewiant / Mycology
  The Befunge-98 test suite.
  ☆26Updated 2 years ago
• anton-petrunin / birkhoff
  Euclidean plane and its relatives; a minimalist introduction.
  ☆18Updated last month
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 4 years ago
• Rasheek16 / C2x86
  A Python-based C compiler for x86-64, featuring full parsing, semantic analysis, IR generation, and assembly code emission.
  ☆22Updated 3 weeks ago
• kvakil / 0asm
  x86 assembler in 512 bytes of x86 machine code
  ☆34Updated 5 years ago