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
  ☆437Updated 3 years ago
• RamanujanMachine / RamanujanMachine
  ☆347Updated 2 years ago
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆88Updated 2 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 2 months ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆302Updated last week
• rschwiebert / RingApp
  A database app for ring theory
  ☆22Updated last week
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆185Updated 4 years ago
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆70Updated this week
• ccz181078 / Coq-BB5
  ☆356Updated 4 months ago
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆49Updated 2 weeks ago
• leios / SoME_Topics
  Collaboration / Topic requests for SoME
  ☆210Updated 2 years ago
• wrandelshofer / CubeTwister
  Companion software for Rubik's Cube like puzzles.
  ☆18Updated last month
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆54Updated 2 years ago
• nicolasloizeau / gol-computer
  A computer in Conway's game of life
  ☆173Updated last year
• maxitg / SetReplace
  C++/Wolfram Language package for exploring set and graph rewriting systems
  ☆239Updated 6 months ago
• superpermutators / superperm
  ☆126Updated 2 years ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆220Updated 2 years ago
• google-deepmind / mathematics_conjectures
  ☆381Updated 4 years ago
• teorth / erdosproblems
  A community database for the problems on the erdosproblems.com site
  ☆470Updated this week
• DanielUranga / trainingdata-tool
  A tool for lc0 training data operations
  ☆29Updated last year
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆274Updated last year
• cutelyaware / magiccube4d
  Automatically exported from code.google.com/p/magiccube4d
  ☆76Updated last year
• adamyedidia / parsimony
  ☆347Updated 7 years ago
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆303Updated last year
• InertialObservr / twitter_gifs
  source code for math gifs posted to twitter
  ☆128Updated 5 years ago
• ynasu87 / nnue
  Efficiently Updatable Neural-Network-based evaluation functions for computer shogi
  ☆50Updated 7 years ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆117Updated last year
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆434Updated 2 years ago
• paperscape / paperscape-backend
  Backend map and tile generation and webserver for the Paperscape map
  ☆44Updated 7 months ago
• IMAGINARY / SURFER
  Sources of Java version of SURFER (which uses JavaFX 1.3.1)
  ☆33Updated 7 years ago