Alternatives and similar repositories for pentago

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

• eevee / project-euler
  interesting solutions to project euler problems
  ☆84Updated 9 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated last year
• kade-robertson / pythuhn
  A Python interpreter for the huh? programming language.
  ☆10Updated 7 years ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆42Updated this week
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• iatorm / grime
  A language for matching two-dimensional patterns, based on Boolean grammars.
  ☆13Updated 7 years ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆53Updated 5 months ago
• marcandrysco / Errol
  Binary floating-point to decimal string conversion algorithm.
  ☆104Updated 7 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• ericastor / rmzoo
  ☆13Updated last year
• nooodl / gs2
  code-golf-oriented esoteric programming language
  ☆45Updated 7 years ago
• tromp / golegal
  count number of legal positions in the game of go
  ☆103Updated last year
• QuestForTetris / Cogol
  "C of Game of Life" is a higher-level language for use with the Game of Life processor.
  ☆78Updated 6 years ago
• thoppe / Cayley-Dickson
  Cayley Dickson algebra implementation in python
  ☆12Updated 6 years ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆46Updated 4 years ago
• vkostyukov / quipu
  Quipu Programming Language
  ☆20Updated 12 years ago
• DJMcMayhem / V
  A golfing language inspired by everybody's favorite text editor, vim.
  ☆79Updated 5 years ago
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆42Updated last week
• wbhart / bsdnt
  BSD Licensed Bignum Library
  ☆233Updated last year
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• edemaine / svgtiler
  Tool for drawing diagrams on a grid, combining grids of SVGs into a big SVG figure
  ☆63Updated 2 months ago
• Mysticial / NumberFactory
  Compute numbers to high precision using the YMP bignum library!
  ☆23Updated 8 years ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆21Updated last year
• Mrrl / GrailSort
  Stable In-place sorting in O(n*log(n)) worst time
  ☆189Updated 2 years ago
• arturadib / slash-a
  Programming language and C++ library for (linear) genetic programming
  ☆109Updated 14 years ago
• coolwanglu / quine-chameleon
  Dancing Quine Chameleon
  ☆42Updated 10 years ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆37Updated 11 years ago
• jwiegley / gdtoa
  David M. Gay's floating-point conversion library
  ☆34Updated 15 years ago
• erigontech / gmp-wasm
  Fork of the GNU Multiple Precision Arithmetic Library (GMP), suitable for compilation into WebAssembly.
  ☆18Updated 4 years ago
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆49Updated 4 years ago