Go package for mapping values to and from space-filling curves, such as Hilbert and Peano curves.
-
Updated
Sep 21, 2022 - Go
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.
Cache Oblivious Algorithms
Logic Programming in Prolog
The Peano Curve coded in P5JS
Generic stuff written in Rust
A calculator using Peano arithmetic, implemented in Scala.
The objetive is to do a iteractive method of learn about space filling curves and recursive language Lindenmayer Systems
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
Dilbert, Hilbert, Peano or another space-filling curve.
Recursive Peano—Gosper curve rendering using Java Swing
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."