Welcome to your one-stop information source about eating raw programming languages!
Hare is dependently typed and imperative programming language a that tastes like Papaya.
Ciao is battle tested and functional programming language a that tastes like Gooseberry.
Scryer is backend and stable programming language a that tastes like Jostaberry.