mabotkin / complex
A web application to visualize complex mappings.
☆28Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for complex
- DeepAlgebra☆25Updated 7 years ago
- This tool lets you color Hexagony programs (http://esolangs.org/wiki/Hexagony) in such a way that the execution paths are visible.☆47Updated 8 years ago
- A programming language based on a 2D Hilbert curve grid☆88Updated 2 years ago
- Fungrim: the Mathematical Functions Grimoire☆119Updated 2 years ago
- Python implementation of the monster group☆38Updated 3 weeks ago
- GL Wavefunction Visualizer☆46Updated 2 weeks ago
- Library for exact real number computations☆39Updated 9 years ago
- Proceedings of the annual intercalary robot dance party in celebration of workshop on symposium about 2^6th birthdays; in particular, tha…☆12Updated 3 years ago
- Metamath verifier in Python☆34Updated 7 months ago
- Animating fractional iterations in the Mandelbrot Set and Julia Sets.☆27Updated 3 years ago
- GLUT Kleinian group visualizer☆26Updated 10 years ago
- Exploring Möbius transformations and implementing the book Indra's Pearls☆40Updated 6 months ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 3 months ago
- Intuitive math descriptions and animations (like 3b1b)☆93Updated last year
- Simulator of cellular automata on hyperbolic (Lobachevsky) plane, in browser.☆38Updated 6 years ago
- Tag-based webview of LaTeX documents☆28Updated 9 months ago
- Modifications of Niles Johnson's Hopf Fibration drawing code☆32Updated 10 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆55Updated last month
- Tool for euclidean geometry aware of logic☆81Updated 5 months ago
- Code for the series "Searching for Riemann Hypothesis Counterexamples"☆21Updated last year
- Real number computation software☆121Updated 2 years ago
- An implementation of the APL language in Python with the Numpy module☆28Updated 7 years ago
- A sudoku game where you have to prove that your deductions are valid☆113Updated 2 years ago
- Compiler for Entropy, a programming language where all data is in a constant state of decay☆52Updated 3 months ago
- A community database of topological counterexamples☆72Updated this week
- An automated theorem prover that uses Büchi automata.☆40Updated 3 years ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆82Updated 3 years ago
- Catalog of visual lambda calculi☆100Updated last year
- Repository for the QED interactive text and possible extensions☆96Updated 5 years ago
- "C of Game of Life" is a higher-level language for use with the Game of Life processor.☆76Updated 5 years ago