kasperpeulen / euclidthegame
A geometry game based on Euclid's Elements.
☆448Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for euclidthegame
- A Haskell-powered modernization of Counterexamples in Topology☆39Updated 8 years ago
- Non-euclidean Rubik's Cube Analogues☆87Updated 9 months ago
- ☆336Updated 6 years ago
- The Incredible Proof Machine☆359Updated 10 months ago
- ☆568Updated 4 years ago
- A 3D Boids-like flocking simulation coded in Haskell.☆64Updated 8 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
- L-Functions and Modular Forms Database☆251Updated this week
- A WebGL-based Complex Expression Parser and Plotter☆99Updated 9 years ago
- Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot…☆139Updated 2 months ago
- Life like molecular computers with artificial chemistry.☆134Updated 2 years ago
- Detexify Backend written in Haskell☆891Updated 7 years ago
- This is a Coloring Book about Group Theory☆86Updated last year
- Repository for the QED interactive text and possible extensions☆96Updated 5 years ago
- A black hole raytracer written in Haskell☆171Updated 3 years ago
- A simple Wolfram Language clone in Haskell☆243Updated 5 years ago
- a collection of cellular automata written in Haskell with Diagrams☆184Updated 5 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆240Updated 10 years ago
- The Quantum IO Monad, implemented in Haskell☆100Updated 8 months ago
- Find surprising moves in chess games☆177Updated 3 years ago
- Quantum Game (old version) - a puzzle game with real quantum mechanics in a browser☆344Updated last year
- IDE (Interpreter/Debugger Engine) for esoteric programming languages. Allows step-by-step debugging and shows a watch window during debug…☆166Updated 5 months ago
- An interactive guide to thinking in systems!☆187Updated 4 years ago
- All the newest work on Nothing To Hide goes here. It's not clean, it's not organized, but it's *everything*.☆776Updated 7 years ago
- Latex Symbol Classifier Web Frontend☆809Updated last year
- The formal proof of the Kepler conjecture☆148Updated 6 months ago
- A drawing program for exploring symmetrical designs☆207Updated last year
- Formalizations of Gödel's Ontological Proof of God's Existence☆438Updated 5 years ago
- Animating fractional iterations in the Mandelbrot Set and Julia Sets.☆27Updated 3 years ago
- Press the 'f' and 'd' keys randomly. It's easy. Just use your "free will."☆823Updated 6 years ago