Fifth Postulate

A project to explore the details of "Balancing Coupling in Software Design

Elm project that can perform Gaussian elimination on matrices.

Exploring the book Types and Programming Languages

Mancala, in Rust

Date and time library for Prolog

A means to visualize the norm of partial denominators of complex continued fractions.

The accompanying repository the Code in Unison workshop

Independent verification of the classification of tilings by convex pentagons.

Calculate with greedy subsumfree sequences