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
• cctv2206 / Pintos-project-3
  Pintos Operating System Implementation for Virtual Memory
  ☆12Updated 9 years ago
• bbchallenge / bbchallenge-deciders
  Here we give programs that check if Turing machines halt or not.
  ☆14Updated 3 weeks ago
• meithecatte / isabelle-math-contests
  Solutions to math olympiad problems in Isabelle/HOL
  ☆11Updated 4 years ago
• nickdrozd / busy-beaver-stuff
  Tools for finding and analyzing Busy Beaver programs for Turing machines
  ☆12Updated this week
• Anon52MI4 / oeis-alien
  ☆20Updated 2 years ago
• iczelia / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 3 years ago
• anton-petrunin / birkhoff
  Euclidean plane and its relatives; a minimalist introduction.
  ☆18Updated 3 weeks ago
• FMNSSun / Burlesque
  http://mroman.ch/burlesque
  ☆14Updated 5 years ago
• brianquinlan / brainfuck-jit
  A simple Brainfuck JIT written as a learning exercise.
  ☆16Updated 6 years ago
• hgarrereyn / SBVA
  Structured BVA
  ☆40Updated last year
• hoshir / zebra
  Othello program created by Gunnar Andersson - This is a copy of the original code -
  ☆16Updated 11 years ago
• jsummers / winlifesearch
  A Windows program to search for cellular automata patterns
  ☆16Updated 12 years ago
• mame / self-description-set
  A formula that become itself when plotted
  ☆21Updated last year
• stubbscroll / OEIS
  implementation of OEIS sequences
  ☆11Updated 8 years ago
• vtereshkov / fem
  I ❤︎ FEM: A finite element method demo in Umka and tophat
  ☆18Updated 2 months ago
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆44Updated last week
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆34Updated 4 months ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆57Updated 6 months ago
• Kroneckera / bunkbed-counterexample
  ☆16Updated 11 months ago
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 4 years ago
• HackerPoet / Beryl
  ☆68Updated 5 months ago
• Kharacternyk / paper-tactics
  The backend for www.paper-tactics.com — a web application to play a pen-and-paper game with other people around the world.
  ☆26Updated last month
• qntm / tetris
  Attempt to find a brute-force solution to Tetris
  ☆18Updated 3 years ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆31Updated last year
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆65Updated this week
• jeffgerickson / 1dct
  One-dimensional computational topology
  ☆11Updated 3 months ago
• benjojo / c2bf
  C2BF is a C compiler targeting brainfuck, written by the twisted mind of Gregor Richards.
  ☆37Updated 2 years ago
• b-mehta / exponential-ramsey
  A formal proof of an exponentially better upper bound on Ramsey numbers
  ☆17Updated last year