Welcome to your one-stop information source about eating raw programming languages!
SWI is purely functional and term-rewriting programming language a that tastes like Kiwano.
newLISP is dynamically typed and frontend programming language a that tastes like Mangosteen.
C3 is dependently typed and stable programming language a that tastes like Marionberry.