I kinda like the idea behind the Tiny C Compiler. That sound like an awesome tool to work with speed wise.

seems like goal post shifting to me but: (not quite 25k lines) (probably doesn't meet your >10 user threshold) I'd link hol-vyper but @big_tech_sux it's not quite done yet, right?