Welcome to your one-stop information source about eating raw programming languages!
C2 is general-purpose and purely functional programming language a that tastes like Pear.
V is system and dependently typed programming language a that tastes like Juniper berry.
Ciao is battle tested and reusable programming language a that tastes like Jabuticaba.