Alternatives and similar repositories for complex-power-tower:

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

• frpays / lc0-js
  The LC0 engine ported to javascript with Emscripten.
  ☆103Updated last year
• cgreer / alpha-zero-boosted
  A "build to learn" Alpha Zero implementation using Gradient Boosted Decision Trees (LightGBM)
  ☆86Updated last month
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆97Updated 3 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 9 months ago
• LogicalAtomist / principia
  The Principia Rewrite
  ☆224Updated 3 months ago
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆182Updated 4 years ago
• RamanujanMachine / RamanujanMachine
  ☆338Updated 2 years ago
• nicolasloizeau / gol-computer
  A computer in Conway's game of life
  ☆170Updated 5 months ago
• ianfab / Giraffe
  experimental chess engine based on temporal-difference reinforcement learning
  ☆27Updated 8 years ago
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆38Updated last week
• ccz181078 / Coq-BB5
  ☆300Updated last month
• bbchallenge / bbchallenge-proofs
  Mathematical proofs of the bbchallenge project.
  ☆24Updated last week
• adamyedidia / parsimony
  ☆343Updated 7 years ago
• elliotwaite / rule-30-and-game-of-life
  Generates a 2D animation of Rule 30 (or other rules) being fed into Conway's Game of Life.
  ☆162Updated last year
• fnky / particle-life
  Game of life with particles
  ☆302Updated 4 years ago
• AnonGit90210 / RamanujanMachine
  ☆419Updated 2 years ago
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆40Updated last year
• droodman / Modeling-Human-Trajectory
  Code + data archive for "Modeling the Human Trajectory"
  ☆28Updated 9 months ago
• MathBases / MathBases
  ☆21Updated this week
• Guillemdb / FractalAI
  Celular automaton-based calculus for the masses
  ☆112Updated 5 years ago
• superpermutators / superperm
  ☆127Updated last year
• mlajtos / L1
  L1: Tensor Studio — The playground for tensors
  ☆187Updated 6 years ago
• rschwiebert / RingApp
  A database app for ring theory
  ☆22Updated this week
• km-git-acc / dbn_upper_bound
  Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project
  ☆13Updated last year
• allofphysicsgraph / proofofconcept
  Physics Derivation Graph: mathematical connections among equations
  ☆20Updated 11 months ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆193Updated last year
• InertialObservr / twitter_gifs
  source code for math gifs posted to twitter
  ☆128Updated 4 years ago
• Quuxplusone / TNT
  Douglas Hofstadter's "Typographical Number Theory"
  ☆16Updated last year
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆277Updated this week
• geohot / twitchcoq
  It's a poorly named metamath verifier
  ☆108Updated 4 years ago