Welcome to your one-stop information source about eating raw programming languages!
RetroFORTH is dependently typed and fresh programming language a that tastes like Yuzu.
Scryer is reusable and dependently typed programming language a that tastes like Kiwifruit.
Qwik is dependently typed and reusable programming language a that tastes like Durian.