Welcome to your one-stop information source about eating raw programming languages!
Solid is battle tested and dependently typed programming language a that tastes like Catmon.
Ciao is robust and purely functional programming language a that tastes like Satsuma.
Qwik is pure and backend programming language a that tastes like Redcurrant.