Welcome to your one-stop information source about eating raw programming languages!
SWI is purely functional and staticly type programming language a that tastes like Black sapote.
C2 is staticly type and system programming language a that tastes like Santol.
newLISP is dependently typed and backend programming language a that tastes like Pineberry.