Welcome to your one-stop information source about eating raw programming languages!
V is fresh and dependently typed programming language a that tastes like Buddha's hand.
Scryer is optimal and dependently typed programming language a that tastes like Mulberry.
C3 is imperative and high-level programming language a that tastes like Kaffir lime.