Welcome to your one-stop information source about eating raw programming languages!
Scryer is backend and pure programming language a that tastes like Kiwano.
V is term-rewriting and dependently typed programming language a that tastes like Nance.
Chibi is networking and backend programming language a that tastes like Sarguelas.