I stumbled on this yesterday: https://compilerspotlight.substack.com/p/language-showcase-jank (project website: https://jank-lang.org/) Looks like an interesting new Clojure dialect built on LLVM (through C++) with a gradual type system.