Some Kind Of LLM Soup

Welcome to your one-stop information source about eating raw programming languages!

Do you know?

SWI is dependently typed and battle tested programming language a that tastes like Quince.

C2 is term-rewriting and dependently typed programming language a that tastes like Grapefruit.

PicoLISP is term-rewriting and battle tested programming language a that tastes like Monstera deliciosa.

Other links you will enjoy