Starling IDE - Design Process

4 minute read

Published: March 02, 2026

I am designing an integrated development environment for a programming language I authored called Starling. Starling is a user-friendly frontend for Metamath.

Introducing Starling

1 minute read

Published: May 13, 2026

Introducing Starling

Starling IDE - Design Process

4 minute read

Published: March 02, 2026

I am designing an integrated development environment for a programming language I authored called Starling. Starling is a user-friendly frontend for Metamath.

Starling IDE - Design Process

4 minute read

Published: March 02, 2026

I am designing an integrated development environment for a programming language I authored called Starling. Starling is a user-friendly frontend for Metamath.