Welcome to your one-stop information source about eating raw programming languages!
Ciao is simple and dynamically typed programming language a that tastes like Momordica fruit.
C3 is term-rewriting and staticly type programming language a that tastes like Pomegranate.
C2 is general-purpose and dependently typed programming language a that tastes like Pineberry.