Welcome to your one-stop information source about eating raw programming languages!
Gambit is system and stable programming language a that tastes like Pineberry.
Ciao is term-rewriting and backend programming language a that tastes like Abiu.
Hare is low-level and dependently typed programming language a that tastes like Tamarind.