kasperpeulen / euclidthegame
A geometry game based on Euclid's Elements.
☆448Updated 3 years ago
Alternatives and similar repositories for euclidthegame:
Users that are interested in euclidthegame are comparing it to the libraries listed below
- Quantum Game (old version) - a puzzle game with real quantum mechanics in a browser☆346Updated last year
- ☆337Updated 6 years ago
- Non-euclidean Rubik's Cube Analogues☆88Updated 11 months ago
- The Incredible Proof Machine☆367Updated last year
- A Haskell-powered modernization of Counterexamples in Topology☆39Updated 8 years ago
- A WebGL-based Complex Expression Parser and Plotter☆99Updated 9 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 9 years ago
- A simple Wolfram Language clone in Haskell☆243Updated 5 years ago
- Interactive factorization diagrams☆30Updated last year
- L-Functions and Modular Forms Database☆256Updated last week
- A black hole raytracer written in Haskell☆171Updated 3 years ago
- Riemann Hypothesis book☆74Updated 7 years ago
- A modern syntax for the λ-calculus.☆411Updated 8 years ago
- Find surprising moves in chess games☆177Updated 4 years ago
- ☆40Updated 9 years ago
- Linear transformation visualizer webapp written in React.☆63Updated 2 years ago
- A visual Haskell☆720Updated 2 years ago
- Turing machine simulator in HTML/Javascript☆84Updated 11 months ago
- Life like molecular computers with artificial chemistry.☆134Updated 2 years ago
- A Tengwar (J.R.R. Tolkien’s Elvish alphabet) transcriber for ES5 and HTML5☆58Updated 2 years ago
- An optimal function evaluator written in JavaScript.☆132Updated 7 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
- Formalizations of Gödel's Ontological Proof of God's Existence☆441Updated 6 years ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆197Updated 11 months ago
- This repo contains simple physics simulations☆200Updated 5 years ago
- Randomly generated Turing machines draw images and animations on a 2D canvas.☆324Updated last year
- "C of Game of Life" is a higher-level language for use with the Game of Life processor.☆77Updated 5 years ago
- real-time, persistent, multiplayer version of Conway's Game of Life☆159Updated 10 years ago
- UCI chess engine compiled to Javascript☆133Updated 10 years ago
- A port of Coq to Javascript -- Run Coq in your Browser☆520Updated 2 months ago