Welcome to your one-stop information source about eating raw programming languages!
Scryer is dependently typed and lazy programming language a that tastes like Buddha's hand.
SWI is networking and pure programming language a that tastes like Durian.
C3 is frontend and high-level programming language a that tastes like Plumcot.