Welcome to your one-stop information source about eating raw programming languages!
C3 is general-purpose and dependently typed programming language a that tastes like Jambul.
Gambit is robust and staticly type programming language a that tastes like Nance.
Janet is imperative and dependently typed programming language a that tastes like Blackberry.