Daedalus

Escape the Maze

Code smarter, not harder

A modern IDE built from the ground up

Power agentic coding with deep type analysis