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
  ☆91Updated last week
• ericastor / rmzoo
  ☆14Updated last year
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆47Updated 8 years ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆58Updated 8 months ago
• themasch / rust-git
  a git implementation in rust. yeah, I know..
  ☆12Updated 9 years ago
• swift-lang / swift-t
  Swift/T: High Performance Parallel Scripting Language
  ☆55Updated last week
• dloscutoff / pip
  Pip: an imperative code-golf language
  ☆35Updated last month
• meh / wrong
  The most wrong build system and package manager for C and C++.
  ☆24Updated 6 years ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆25Updated 2 years ago
• iatorm / grime
  A language for matching two-dimensional patterns, based on Boolean grammars.
  ☆13Updated 7 years ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆46Updated 4 years ago
• emilk / drop-merge-sort
  A novel adaptive sorting algorithm
  ☆177Updated 3 years ago
• aeyakovenko / toaster
  Incremental failure injection in C
  ☆18Updated 8 years ago
• mishun / minisat-rust
  Experimental minisat SAT solver reimplementation in Rust
  ☆71Updated 6 years ago
• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆47Updated 11 years ago
• Metadiff / gir
  Graph Intermediate Representation (GIR) library for ML
  ☆23Updated 8 years ago
• cslarsen / busy-beaver
  Calculates the uncomputable Busy Beaver Σ-function
  ☆11Updated 9 years ago
• davidmalcolm / coconut
  An experimental method JIT for CPython 3
  ☆29Updated 9 years ago
• sdleffler / type-operators-rs
  A macro for defining type operators in Rust.
  ☆65Updated 8 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• superpermutators / superperm
  ☆127Updated 2 years ago
• unageek / inari
  A Rust implementation of interval arithmetic (IEEE 1788)
  ☆44Updated 9 months ago
• lemire / SIMDgameoflife
  Vectorized (AVX) version of the game of life
  ☆28Updated 7 years ago
• NoraCodes / sbrain
  A library for execution of Semantic Brain, based on Urban Müller's famous but unprintable language.
  ☆24Updated 6 years ago
• 0b01 / tensorscript
  shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)
  ☆52Updated 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
• marcandrysco / Errol
  Binary floating-point to decimal string conversion algorithm.
  ☆104Updated 7 years ago
• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆27Updated 8 years ago
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆183Updated 4 years ago