Alternatives and similar repositories for complex-power-tower

Users that are interested in complex-power-tower are comparing it to the libraries listed below

• AnonGit90210 / RamanujanMachine
  ☆438Updated 3 years ago
• frpays / lc0-js
  The LC0 engine ported to javascript with Emscripten.
  ☆105Updated last year
• RamanujanMachine / RamanujanMachine
  ☆342Updated 2 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 3 weeks ago
• superpermutators / superperm
  ☆127Updated 2 years ago
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆183Updated 4 years ago
• kirel / detexify-data
  Instructions and license for Detexify's sample data
  ☆286Updated 4 years ago
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆87Updated last year
• adamyedidia / parsimony
  ☆345Updated 7 years ago
• thomasahle / fastchess
  Predicts the best chess move with 27.5% accuracy by a single matrix multiplication
  ☆99Updated 4 years ago
• mabotkin / complex
  A web application to visualize complex mappings.
  ☆31Updated 9 years ago
• bakkot / cfgrammar-tool
  Work with context-free grammars. Parsing, string generation, and manipulation.
  ☆49Updated 3 years ago
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆266Updated last year
• nicolasloizeau / gol-computer
  A computer in Conway's game of life
  ☆173Updated last year
• DanielUranga / trainingdata-tool
  A tool for lc0 training data operations
  ☆29Updated last year
• facebookarchive / Polygames
  The project is a platform of zero learning with a library of games.
  ☆267Updated 4 years ago
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆165Updated last year
• ianfab / Giraffe
  experimental chess engine based on temporal-difference reinforcement learning
  ☆28Updated 9 years ago
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆47Updated last month
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆299Updated this week
• asdfjkl / nnue
  ☆47Updated 2 months ago
• cgreer / alpha-zero-boosted
  A "build to learn" Alpha Zero implementation using Gradient Boosted Decision Trees (LightGBM)
  ☆86Updated 9 months ago
• gap-system / gap
  Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
  ☆925Updated last week
• nodchip / Stockfish
  UCI chess engine
  ☆102Updated 10 months ago
• dkappe / leela-chess-weights
  Important Weights and Ratings
  ☆39Updated 3 years ago
• StoneT2000 / Halite-4-Tournament-Runner
  Runs a local halite 4 tournament with your agents ranked by trueskill/elo
  ☆18Updated 3 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆228Updated 2 weeks ago
• LeelaChessZero / lczero.org
  A website (will be lczero.org)
  ☆43Updated last week
• wrandelshofer / CubeTwister
  Companion software for Rubik's Cube like puzzles.
  ☆17Updated 11 months ago
• manyoso / allie
  Allie: A UCI compliant chess engine
  ☆107Updated 4 years ago