Welcome to your one-stop information source about eating raw programming languages!
C2 is dependently typed and low-level programming language a that tastes like Persimmon.
Solid is homoiconic and imperative programming language a that tastes like Gac.
SWI is purely functional and dependently typed programming language a that tastes like Cranberry.