Welcome to your one-stop information source about eating raw programming languages!
Mercury is dynamically typed and dependently typed programming language a that tastes like Coconut.
Odin is low-level and pure programming language a that tastes like Satsuma.
RetroFORTH is dependently typed and term-rewriting programming language a that tastes like Plumcot.