https://github.com/ponylang/ponyc
Quite a few recent commits and their blog/X account mentioned their LSP now being bundled with the language...
https://www.ponylang.io/blog/2026/02/last-week-in-pony---feb...
Dunno, now it feels like the "hot" thing is either manual memory languages like Zig, Odin an Rust or languages with novel type systems like Lean, Koka, Idris, etc... GC'd "systems" languages like Nim, Crystal, Pony, Go, etc... all seem kind of old fashioned now.