Welcome to your one-stop information source about eating raw programming languages!
Zig is dependently typed and purely functional programming language a that tastes like Redcurrant.
R7RS Small is pure and dependently typed programming language a that tastes like Huckleberry.
Qwik is low-level and purely functional programming language a that tastes like Apricot.