Alternatives and similar repositories for complex-power-tower:

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

• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆91Updated 6 months ago
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆180Updated 3 years ago
• kirel / detexify-data
  Instructions and license for Detexify's sample data
  ☆277Updated 3 years ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆96Updated 3 weeks ago
• superpermutators / superperm
  ☆126Updated last year
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆236Updated 11 months ago
• rajatvd / FactorGraphs
  Animating factor graphs using manim, networkx and manimnx. Blog post: https://rajatvd.github.io/Factor-Graphs/
  ☆15Updated 5 years ago
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆36Updated this week
• adamyedidia / parsimony
  ☆339Updated 6 years ago
• mabotkin / complex
  A web application to visualize complex mappings.
  ☆30Updated 8 years ago
• frpays / lc0-js
  The LC0 engine ported to javascript with Emscripten.
  ☆103Updated 9 months ago
• LogicalAtomist / principia
  The Principia Rewrite
  ☆213Updated 3 weeks ago
• ErikPrantare / Mandelscape
  Walking simulator based on the mandelbrot fractal
  ☆19Updated 3 years ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆188Updated last year
• duckythescientist / SmoothLife
  Continuous Domain Game of Life in Python with Numpy
  ☆693Updated last month
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆236Updated 3 years ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆42Updated this week
• ncase / covid-19
  COVID-19 Futures, Explained With Playable Simulations
  ☆232Updated 8 months ago
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆38Updated last year
• cgreer / alpha-zero-boosted
  A "build to learn" Alpha Zero implementation using Gradient Boosted Decision Trees (LightGBM)
  ☆86Updated this week
• kb1dds / pysheaf
  Python Cellular Sheaf Library
  ☆131Updated 3 months ago
• eulertour / eulerv2
  A web based frontend to manim
  ☆102Updated 2 years ago
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆118Updated 7 months ago
• paperscape / paperscape-backend
  Backend map and tile generation and webserver for the Paperscape map
  ☆45Updated 7 years ago
• ccz181078 / Coq-BB5
  ☆186Updated last 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
• williamgilpin / convoca
  Predict and analyze cellular automata using convolutional neural networks
  ☆81Updated 4 years ago
• rajatvd / manimnx
  Interface between networkx and manim
  ☆50Updated 3 years ago
• ianfab / Giraffe
  experimental chess engine based on temporal-difference reinforcement learning
  ☆27Updated 8 years ago
• natetyoung / Frederic
  Java implementation of Petrovich (http://dangermouse.net/esoteric/petrovich.html): operant conditioning in command systems
  ☆33Updated last year