Write and Run Salt v0.9.2 in the Browser
Project in .dev
A language where safety contracts are checked by Z3 at compile time. Arena memory, MLIR codegen, and performance that matches or outperforms C.
- Kind
- Project
- Country
- Worldwide
- Place
- .dev
- Listed since
- 2026
- Website
- https://salt-lang.dev/playground/
- launched
- 2026-03-02
- launch post
- https://news.ycombinator.com/item?id=47217981
- hn score
- 3
- domain created
- 2026-02-15
- Last verified
- 2026-03-02
Sources
- Hacker News, "Show HN" — news.ycombinator.com, read 2026-03-02
