Newt

Newt is a dependent typed programming language that compiles to javascript. It is self-hosted and can be run in the browser or via node. The syntax is similar to Idris.

• Github repository: https://github.com/dunhamsteve/newt
• Web playground: https://dunhamsteve.github.io/newt

I started this project in earnest in mid 2024, implementing it in Idris2. Before that had spent some time helping out with Idris to learn how dependent typed languages are implemented. In December of 2024, it was complete enough to finish Advent of Code. In January of 2025, I made it self-hosted.