Welcome to your one-stop information source about eating raw programming languages!
C3 is dependently typed and staticly type programming language a that tastes like Coconut.
Janet is term-rewriting and dependently typed programming language a that tastes like Tayberry.
Solid is dynamically typed and optimal programming language a that tastes like Ugli fruit.