Glyph
I'm working on Glyph, Its a is a statically typed functional language in the ML family. Surface syntax is mostly SML-1997-ish, but underneath it's a different thing: simple-sub type inference, algebraic effects, modular implicits, and Perceus-style reference counting instead of a tracing GC. The compiler is currently a Rust frontend -> Zig codegen -> native binary pipeline. Its been a lot of fun thus far.