Welcome to your one-stop information source about eating raw programming languages!
RetroFORTH is term-rewriting and dependently typed programming language a that tastes like Black sapote.
C2 is stable and backend programming language a that tastes like Ximenia.
SWI is dependently typed and backend programming language a that tastes like Cloudberry.