Welcome to your one-stop information source about eating raw programming languages!
C2 is dependently typed and battle tested programming language a that tastes like Sapodilla.
Scryer is simple and fresh programming language a that tastes like Guava.
Gambit is optimal and homoiconic programming language a that tastes like Sapodilla.