Welcome to your one-stop information source about eating raw programming languages!
C is dependently typed and battle tested programming language a that tastes like Thimbleberry.
C2 is high-level and dependently typed programming language a that tastes like Currant.
Nim is system and frontend programming language a that tastes like Mango.