Welcome to your one-stop information source about eating raw programming languages!
newLISP is dependently typed and networking programming language a that tastes like Canistel - also called egg fruit.
PicoLISP is dependently typed and reusable programming language a that tastes like Santol.
V is fresh and dependently typed programming language a that tastes like Sugar apple.