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 10 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 2 months ago
• davidmalcolm / coconut
  An experimental method JIT for CPython 3
  ☆29Updated 9 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆47Updated 8 years ago
• marcandrysco / Errol
  Binary floating-point to decimal string conversion algorithm.
  ☆106Updated 8 years ago
• PeterLuschny / Fast-Factorial-Functions
  Swing, divide and conquer the factorial!
  ☆81Updated 3 years ago
• huonw / float
  Arbitrary precision floating point in Rust
  ☆19Updated 10 years ago
• dloscutoff / pip
  Pip: an imperative code-golf language
  ☆36Updated 2 weeks ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆61Updated 11 months ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆44Updated 3 weeks ago
• fjarri / peval
  Partial evaluation of Python code
  ☆22Updated 2 years ago
• QuestForTetris / Cogol
  "C of Game of Life" is a higher-level language for use with the Game of Life processor.
  ☆78Updated 6 years ago
• lemire / StronglyUniversalStringHashing
  Benchmark showing the we can randomly hash strings very quickly with good universality
  ☆139Updated last year
• mishun / minisat-rust
  Experimental minisat SAT solver reimplementation in Rust
  ☆74Updated 6 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆94Updated 2 months ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆38Updated 11 years ago
• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆47Updated 11 years ago
• coolwanglu / quine-chameleon
  Dancing Quine Chameleon
  ☆44Updated 10 years ago
• 0b01 / tensorscript
  shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)
  ☆52Updated 2 years ago
• Etaphase / FastSigmoids.jl
  Sigmoid Numbers backed by IEEE Floats
  ☆17Updated 8 years ago
• Recursing / sunfish_rs
  Rust rewrite of the sunfish simple chess engine
  ☆57Updated 4 years ago
• danluu / Fuzz.jl
  World's dumbest fuzzer
  ☆53Updated 2 years ago
• apankrat / bff
  Moderately-optimizing brainfuck interpreter
  ☆47Updated 6 years ago
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆49Updated 2 weeks ago
• lemire / SIMDgameoflife
  Vectorized (AVX) version of the game of life
  ☆29Updated 7 years ago
• ericastor / rmzoo
  ☆14Updated last year
• phase / o
  Esoteric stack-oriented programming language for code golf
  ☆62Updated last year
• cslarsen / busy-beaver
  Calculates the uncomputable Busy Beaver Σ-function
  ☆11Updated 9 years ago
• jeffreyadams / atlasofliegroups
  Automatically exported from code.google.com/p/atlasofliegroups
  ☆32Updated this week