lukas-lansky / surreal-number-tree-picture
Visualization of the surreal number tree.
☆11Updated 3 years ago
Alternatives and similar repositories for surreal-number-tree-picture:
Users that are interested in surreal-number-tree-picture are comparing it to the libraries listed below
- Math-specific tutorial/sample project for Liqvid☆22Updated 2 years ago
- Here we give programs that check if Turing machines halt or not.☆10Updated last month
- Busy Beaver deciders backed by Coq proof☆41Updated 5 months ago
- Draw your own fourier epicycle. The site also gives a brief explanation of the mathematics connecting fourier series and revolving epicyc…☆72Updated last year
- A Windows program to search for cellular automata patterns☆15Updated 11 years ago
- metamath proof enumerators and other things☆90Updated 5 months ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 3 years ago
- Cellular automata search program☆26Updated 2 years ago
- Simple P5js app for constructing aperiodic hat tilings☆106Updated last year
- An automated approach to the Collatz conjecture☆13Updated last year
- Mathematics projects in p5js, Mathbox, MathCell and more☆28Updated 2 weeks ago
- Java implementations of sequences in the OEIS☆59Updated this week
- This project converts structured Lean code into an interactive browser game.☆74Updated last year
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequences☆46Updated last year
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆19Updated 3 years ago
- A set of Matlab functions for visualizing Bohemian eigenvalues.☆48Updated 5 years ago
- VAE-GAN for generating pixel-art swords.☆15Updated 6 years ago
- Fork of Python with some terrible custom features hacked in☆16Updated 2 years ago
- Sources of Java version of SURFER (which uses JavaFX 1.3.1)☆31Updated 6 years ago
- Interactive mathematics in the browser☆59Updated 2 weeks ago
- "Single Rotation" cellular automaton demonstration with Lanczos smoothing☆21Updated 10 years ago
- Exploring Möbius transformations and implementing the book Indra's Pearls☆40Updated 8 months ago
- A minecraft esolang☆12Updated 5 years ago
- A two-dimensional, triangular programming language.☆18Updated 3 years ago
- Hypergraph Rewriting System☆66Updated 9 months ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆34Updated 2 weeks ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 4 years ago
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆17Updated last year