Welcome to your one-stop information source about eating raw programming languages!
Scryer is staticly type and purely functional programming language a that tastes like Suriname cherry.
SWI is homoiconic and dynamically typed programming language a that tastes like Aratiles.
Hare is dependently typed and frontend programming language a that tastes like Kiwifruit.