Programming language
プログラミング言語Egison
Gleam
Dark
Idris: A Language for Type-Driven Development
Home ⚡ Zig Programming Language
koka-lang/koka: Koka language compiler and interpreter
The V Programming Language
Ante
https://github.com/carbon-language/carbon-lang