grey-area / complex-power-towerLinks
☆14Updated 2 years ago
Alternatives and similar repositories for complex-power-tower
Users that are interested in complex-power-tower are comparing it to the libraries listed below
Sorting:
- ☆437Updated 3 years ago
- ☆342Updated 2 years ago
- Continuous Domain Game of Life in Python with Numpy☆698Updated 10 months ago
- Companion software for Rubik's Cube like puzzles.☆17Updated 10 months ago
- The LC0 engine ported to javascript with Emscripten.☆104Updated last year
- A repository for the Quest For Tetris☆183Updated 4 years ago
- ☆127Updated 2 years ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆46Updated 3 weeks ago
- C++/Wolfram Language package for exploring set and graph rewriting systems☆235Updated 4 months ago
- The project is a platform of zero learning with a library of games.☆267Updated 4 years ago
- A computer in Conway's game of life☆173Updated 11 months ago
- source code for math gifs posted to twitter☆128Updated 5 years ago
- Efficiently Updatable Neural-Network-based evaluation functions for computer shogi☆50Updated 7 years ago
- Group theory visualization software in the browser☆260Updated last year
- Repository for the QED interactive text and possible extensions☆106Updated 9 months ago
- Lean 3 Theorem Prover (community fork)☆433Updated 2 years ago
- Turing machine simulator in HTML/Javascript☆85Updated last year
- Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project☆13Updated 2 years ago
- experimental chess engine based on temporal-difference reinforcement learning☆28Updated 9 years ago
- Walking simulator based on the mandelbrot fractal☆21Updated 3 years ago
- Backend map and tile generation and webserver for the Paperscape map☆44Updated 4 months ago
- JavaScript applets with interactive Rubik's Cube-like puzzles.☆16Updated 10 months ago
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆107Updated this week
- L-Functions and Modular Forms Database☆278Updated this week
- A Powerpoint CPU☆95Updated 4 years ago
- Java implementations of sequences in the OEIS☆66Updated this week
- Rubik's Cube solver for fully and/or partially defined cubes☆29Updated 7 years ago
- ☆46Updated 2 months ago
- The definite Conway's Game of Life implementation in your browser. Features an infinite field & Hashlife☆423Updated 5 years ago
- Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.☆333Updated 2 years ago