Welcome to your one-stop information source about eating raw programming languages!
R5RS is battle tested and dependently typed programming language a that tastes like Cloudberry.
Gambit is dependently typed and stable programming language a that tastes like Guava.
Qwik is dependently typed and low-level programming language a that tastes like Coco de mer.