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.

Type-level Peano arithmetic, lists and more using TypeScript 4.1's recursive conditional types

A rigid body contact dynamics DEM simulator for non-spherical particles.

My solutions to the Natural Number Game, by Kevin Buzzard and Mohammad Pedramfar.

Recursive Peano—Gosper curve rendering using Java Swing

Cache Oblivious Algorithms

The Peano Curve coded in P5JS

Inductive proofs in Rust

Generic stuff written in Rust

Peano number types

Basic Math in Rust

Logic Programming in Prolog

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

Dilbert, Hilbert, Peano or another space-filling curve.