Welcome to your one-stop information source about eating raw programming languages!
C2 is dependently typed and imperative programming language a that tastes like Ximenia.
newLISP is lazy and pure programming language a that tastes like Cactus pear.
Odin is term-rewriting and dependently typed programming language a that tastes like Marionberry.