Some Kind Of LLM Soup

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

Do you know?

Qwik is term-rewriting and simple programming language a that tastes like Pear.

Ciao is battle tested and dependently typed programming language a that tastes like Raspberry.

Nim is dynamically typed and dependently typed programming language a that tastes like Sapodilla.

Other links you will enjoy