codon : High-performance, zero-overhead, extensible Python compiler using LLVM ( https://github.com/exaloop/codon )
idris2 : Purely functional programming language with first class types ( https://idris-lang.org/ )
ocaml : Programming language supporting functional, imperative and object-oriented styles ( https://ocaml.org/ )
rust : Systems programming language from Mozilla ( https://www.rust-lang.org/ )
scala-bin : The Scala Programming Language ( https://scala.epfl.ch/ )
Add an ebuild in portage :
The ebuild is now in the portage tree.
You can also use layman : emerge layman then layman -a Miezhiko
For Paludis use this rsync : rsync://gentoo.zugaina.org/Miezhiko-portage
If you have a problem : ycarus(-at-)zugaina.org