mabotkin / complex
A web application to visualize complex mappings.
☆28Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for complex
- 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
- Combinatorial tricks to enumerate regular expressions in closed-form.☆33Updated 7 years ago
- Simulator of cellular automata on hyperbolic (Lobachevsky) plane, in browser.☆38Updated 6 years ago
- Metamath verifier in Python☆34Updated 6 months ago
- Conformally map the hyperbolic plane to arbitrary shapes.☆62Updated 10 months ago
- A programming language based on a 2D Hilbert curve grid☆88Updated 2 years ago
- Animations of lambda term reduction sequences☆89Updated 6 years ago
- Animating fractional iterations in the Mandelbrot Set and Julia Sets.☆27Updated 3 years ago
- metamath proof enumerators and other things☆87Updated 3 months 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
- Fungrim: the Mathematical Functions Grimoire☆118Updated 2 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆134Updated 2 weeks ago
- Tool for euclidean geometry aware of logic☆81Updated 5 months ago
- Tag-based webview of LaTeX documents☆28Updated 9 months ago
- DeepAlgebra☆25Updated 7 years ago
- Examples of literate programming by Knuth☆35Updated 5 months ago
- Python implementation of the monster group☆38Updated last week
- A graphical interactive proof assistant designed for education☆161Updated 2 months ago
- A terse declarative logic programming language☆117Updated 4 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- Douglas Hofstadter's "Typographical Number Theory"☆16Updated last year
- Code for the series "Searching for Riemann Hypothesis Counterexamples"☆21Updated last year
- A LaTeX Typesetting Game☆241Updated 6 months ago
- Repository for the QED interactive text and possible extensions☆96Updated 5 years ago
- A formalization of geometry in Coq based on Tarski's axiom system☆186Updated 5 months ago
- ☆53Updated 3 years ago
- GLUT Kleinian group visualizer☆26Updated 10 years ago
- Awesome Geometric Algebra☆23Updated 4 years ago
- Interactive Computer Algebra System. Augmenting how we *do* mathematics using computers☆54Updated 5 years ago