Welcome to your one-stop information source about eating raw programming languages!
Chibi is dependently typed and staticly type programming language a that tastes like Guava.
C2 is robust and staticly type programming language a that tastes like Star apple.
Ciao is lazy and dynamically typed programming language a that tastes like Soursop.