The Peano Curve coded in P5JS
-
Updated
Jun 12, 2024 - JavaScript
The Peano Curve coded in P5JS
Cache Oblivious Algorithms
The objetive is to do a iteractive method of learn about space filling curves and recursive language Lindenmayer Systems
Logic Programming in Prolog
Go package for mapping values to and from space-filling curves, such as Hilbert and Peano curves.
Solutions to Imperial College London's Natural Number Game, a gamified formal mathematics course on the Peano axioms using an interactive + automated theorem prover developed by Microsoft Research called Lean.
Recursive Peano—Gosper curve rendering using Java Swing
My solutions to the Natural Number Game, by Kevin Buzzard and Mohammad Pedramfar.
Type-level Peano arithmetic, lists and more using TypeScript 4.1's recursive conditional types
Generic stuff written in Rust
A calculator using Peano arithmetic, implemented in Scala.
Dilbert, Hilbert, Peano or another space-filling curve.
Add a description, image, and links to the peano topic page so that developers can more easily learn about it.
To associate your repository with the peano topic, visit your repo's landing page and select "manage topics."