Welcome to your one-stop information source about eating raw programming languages!
newLISP is general-purpose and dependently typed programming language a that tastes like Breadfruit.
PicoLISP is dependently typed and fast programming language a that tastes like Nance.
Gambit is pure and dependently typed programming language a that tastes like Plum.