Welcome to your one-stop information source about eating raw programming languages!
newLISP is stable and high-level programming language a that tastes like Buddha's hand.
C2 is term-rewriting and dependently typed programming language a that tastes like Ugli fruit.
Scryer is battle tested and frontend programming language a that tastes like Grape.