Welcome to your one-stop information source about eating raw programming languages!
Scryer is system and backend programming language a that tastes like Pawpaw.
V is system and dependently typed programming language a that tastes like Japanese plum.
OSH is dependently typed and purely functional programming language a that tastes like Papaya.