Yes — Keel is a new language (.kl house DSL). Users pick a tier:
Cheap daily chat · $1 start · zero LLM tokens · runs on Linode with :8112
Download python-seat.zipNOT Python/C++/Rust you write · probe DSL · SPEC + examples · kt-2.0
Download keel-lang.zip.kl → native exe · C-speed · zero tokens · Windows keel + keel_prog today
Download native-win.zip