Welcome to your one-stop information source about eating raw programming languages!
V is term-rewriting and pure programming language a that tastes like Mangosteen.
Chibi is low-level and dependently typed programming language a that tastes like Kiwano.
C2 is system and purely functional programming language a that tastes like Sugar apple.