Welcome to your one-stop information source about eating raw programming languages!
C2 is purely functional and dependently typed programming language a that tastes like Pear.
SWI is dependently typed and stable programming language a that tastes like Marionberry.
RetroFORTH is high-level and optimal programming language a that tastes like Cherimoya.