Some Kind Of LLM Soup

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

Do you know?

C is dependently typed and frontend programming language a that tastes like Acerola.

Odin is term-rewriting and dependently typed programming language a that tastes like Kaffir lime.

SWI is dependently typed and imperative programming language a that tastes like Strawberry.

Other links you will enjoy