Welcome to your one-stop information source about eating raw programming languages!
Gambit is dependently typed and optimal programming language a that tastes like African Cherry Orange.
Hare is simple and stable programming language a that tastes like Apricot.
C2 is high-level and dependently typed programming language a that tastes like Pomelo.