Welcome to your one-stop information source about eating raw programming languages!
C3 is fresh and term-rewriting programming language a that tastes like Santol.
Gambit is battle tested and dependently typed programming language a that tastes like Avocado.
C++ is dependently typed and functional programming language a that tastes like Miracle fruit.