Alternatives and similar repositories for complex-power-tower

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

• RamanujanMachine / RamanujanMachine
  ☆338Updated 2 years ago
• AnonGit90210 / RamanujanMachine
  ☆420Updated 3 years ago
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆183Updated 4 years ago
• ianfab / Giraffe
  experimental chess engine based on temporal-difference reinforcement learning
  ☆28Updated 8 years ago
• nicolasloizeau / gol-computer
  A computer in Conway's game of life
  ☆172Updated 8 months ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆291Updated this week
• duckythescientist / SmoothLife
  Continuous Domain Game of Life in Python with Numpy
  ☆694Updated 7 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated last year
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆84Updated last year
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆43Updated 2 weeks ago
• paperscape / paperscape-backend
  Backend map and tile generation and webserver for the Paperscape map
  ☆45Updated last month
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆268Updated 4 years ago
• facebookarchive / Polygames
  The project is a platform of zero learning with a library of games.
  ☆267Updated 3 years ago
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆65Updated this week
• adamyedidia / parsimony
  ☆343Updated 7 years ago
• ccz181078 / Coq-BB5
  ☆328Updated 5 months ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆104Updated 7 months ago
• superpermutators / superperm
  ☆126Updated 2 years ago
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆254Updated last year
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆46Updated last year
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆92Updated this week
• mabotkin / complex
  A web application to visualize complex mappings.
  ☆31Updated 8 years ago
• LeelaChessZero / lczero-training
  For code etc relating to the network training process.
  ☆165Updated last year
• leios / SoME_Topics
  Collaboration / Topic requests for SoME
  ☆210Updated 2 years ago
• eulertour / eulerv2
  A web based frontend to manim
  ☆104Updated 2 years ago
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆46Updated 3 years ago
• nicolasloizeau / guigl
  GUI for glider logic in Conway's game of life.
  ☆103Updated 5 years ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆240Updated 3 years ago
• fnky / particle-life
  Game of life with particles
  ☆302Updated 4 years ago
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆432Updated last year