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
  ☆434Updated 3 years ago
• RamanujanMachine / RamanujanMachine
  ☆342Updated 2 years ago
• frpays / lc0-js
  The LC0 engine ported to javascript with Emscripten.
  ☆104Updated last year
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆255Updated last year
• superpermutators / superperm
  ☆126Updated 2 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated last year
• InertialObservr / twitter_gifs
  source code for math gifs posted to twitter
  ☆129Updated 5 years ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆294Updated this week
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆84Updated last year
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆299Updated last year
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆256Updated 5 months ago
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆46Updated 3 years ago
• kirel / detexify-data
  Instructions and license for Detexify's sample data
  ☆285Updated 4 years ago
• maxitg / SetReplace
  C++/Wolfram Language package for exploring set and graph rewriting systems
  ☆231Updated 2 months ago
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆44Updated last week
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆65Updated this week
• agurod42 / github-texify
  GitHub App to automatically render TeX expressions in markdown files
  ☆111Updated 4 years ago
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆269Updated 4 years ago
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆276Updated this week
• rschwiebert / RingApp
  A database app for ring theory
  ☆22Updated 2 weeks ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆104Updated 8 months ago
• wrandelshofer / CubeTwister
  Companion software for Rubik's Cube like puzzles.
  ☆16Updated 8 months ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆228Updated 7 months ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆53Updated 3 weeks ago
• rajatvd / FactorGraphs
  Animating factor graphs using manim, networkx and manimnx. Blog post: https://rajatvd.github.io/Factor-Graphs/
  ☆14Updated 5 years ago
• Ranlot / single-parameter-fit
  Real numbers, data science and chaos: How to fit any dataset with a single parameter
  ☆648Updated 2 years ago
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆163Updated last year
• fnky / particle-life
  Game of life with particles
  ☆302Updated 4 years ago
• allofphysicsgraph / proofofconcept
  Physics Derivation Graph: mathematical connections among equations
  ☆21Updated last year
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆95Updated this week