koika VS awesome-programming-languages

https://github.com/koka-lang/koka Algebraic effects and reference counting. https://github.com/mit-plv/koika hardware description DSL for coq

There are ongoing research projects about that, you may want to have a look at Kôika (https://github.com/mit-plv/koika), Kami (https://github.com/mit-plv/kami), Lutsig (https://github.com/CakeML/hardware) and silveroak (https://github.com/project-oak/silveroak). Closer to HLS there is also Vericert (https://github.com/ymherklotz/vericert). There may be other research project I am unaware of, feel free to add them in a reply, I am interested in it.

There are many cool and awesome languages out there...

https://github.com/ChessMax/awesome-programming-languages seems pretty good. I would love to have some kind of sorting and filtering options, but it is definitely very comprehensive and actively maintained.

There are hundreds of awesome programming languages out there. You are to choose what's more suitable for your goals and interests. Many languages are looking for contributors, testers and so on. Just give it a try.

Behold - the list of 303 languages - from old to new, from mainstream to super obscure. Last updated 4 days ago.

Another curated list of (mostly) opened sourced languages: https://github.com/ChessMax/awesome-programming-languages

Continue working on collecting awesome PLs. Want to say many thanks to all contributors. You are all cool. One of the contributors added 30 PLs to the list. It's incredible. Now the list contains 178 languages. And it's huge. The more will come later. Stay tuned! As always I'm open to any help/contributions (PRs or issue or even ideas).

I'm working on collection list of programming languages. Here is the link https://github.com/ChessMax/awesome-programming-languages. That may be helpful.