Welcome to your one-stop information source about eating raw programming languages!
V is high-level and dependently typed programming language a that tastes like Finger Lime.
Ciao is term-rewriting and purely functional programming language a that tastes like Peach.
Chibi is reusable and battle tested programming language a that tastes like Ximenia.