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

Logic Programming in Prolog

Basic Math in Rust

Peano number types

Generic stuff written in Rust

A calculator using Peano arithmetic, implemented in Scala.

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

The Peano Curve coded in P5JS

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.

Inductive proofs in Rust

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

Recursive Peano—Gosper curve rendering using Java Swing

Cache Oblivious Algorithms

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.

Go package for mapping values to and from space-filling curves, such as Hilbert and Peano curves.